Papers in languages theory
- Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
- Composable and Compilable Macros: You Want it When?
- Fundamental Concepts in Programming Languages
- Liquid Types
- On Understanding Types, Data Abstraction, and Polymorphism
- Predicate Dispatching: A Unified Theory of Dispatch
- Principal type-schemes for functional programs
- Programming and Reasoning with Algebraic Effects and Dependent Types
- Programming Languages: Application and Interpretation
- Programming Languages: History and Future
- Propositions as Types
- Soft Typing
- The Derivative of a Regular Type is its Type of One-Hole Contexts
- Theory in Programming Practice