Sam Lindley
- Do be do be do
2016/11/28 by Sam Lindley, Conor McBride, Lindley, Sam +3 · 6 voices · 6 citations
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Advanced Software Engineering Methodologies
- Modal Effect Types
2024/07/16 by Wenhao Tang, Leo White, Tang, Wenhao +9 · 3 voices · 3 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #cs.PL
- Wasm SpecTec: Engineering a Formal Language Standard
2023/11/13 by Joachim Breitner, Philippa Gardner, Breitner, Joachim +19 · 2 voices
#cs.PL
- Continuing WebAssembly with Effect Handlers
2023/08/16 by Luna Phipps-Costin, Andreas Rossberg, Phipps-Costin, Luna +13 · 2 voices
#cs.PL
- Structural Subtyping as Parametric Polymorphism
2023/04/17 by Wenhao Tang, Daniel Hillerström, James McKinna +4 · 1 voice
Computer Science · #cs.PL
- Rows and Capabilities as Modal Effects
2025/07/14 by Wenhao Tang, Sam Lindley, Tang, Wenhao +1 · 2 citations
Decision Sciences · Business, Management and Accounting · #Probabilistic and Robust Engineering Design #Product Development and Customization
- Bidirectional Typing with Freezing, Skeletons, and Ghosts
2026/07/17 by Wenhao Tang, Shengyi Jiang, Aghilas Y. Boussaa +2
#cs.PL