Papers in languages theory
- An Experimental Study of the Effect of Two Personality Variables On Performance in Computer Programming
- Composable and Compilable Macros: You Want it When?
- Consensus algorithms for parallel machines
- Effects as Capabilities: Effect Handling in Haskell
- Liquid Types
- On Understanding Types, Data Abstraction, and Polymorphism
- Predicate Dispatching: A Unified Theory of Dispatch
- Principal Type-Schemes for Functional Programs
- Programming Languages: Application and Interpretation
- Programming Languages: History and Future
- Propositions as Types
- The Derivative of a Regular Type is its Type of One-Hole Contexts
- The Next 700 Programming Languages
- Theory in Programming Practice