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
