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