papers-we-love_papers-we-love/plt

Programming Language Theory

• 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

• 📜 Fundamnetal 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