papers-we-love_papers-we-love/languages-theory/README.md

# Programming Language Theory

* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](https://dl.acm.org/doi/pdf/10.1145/359576.359579)

* [Programming and Reasoning with Algebraic Effects and Dependent Types](https://web.archive.org/web/20150102181601id_/http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)

* [Programming Languages: History and Future](http://www.csee.umbc.edu/courses/undergraduate/CMSC331/resources/papers/sammet1972.pdf)

* [Soft Typing](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.24.9333&rep=rep1&type=pdf)

* [:scroll:](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/composable-and-compilable-macros-you-want-it-when.pdf) [Composable and Compilable Macros: You Want it When?](https://www.cs.utah.edu/plt/publications/macromod.pdf)

* :scroll: [Propositions as Types](http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf)

* :scroll: [Fundamental Concepts in Programming Languages](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/fundamental-concepts-in-programming-languages.pdf)

* :scroll: [On Understanding Types,
Data Abstraction, and Polymorphism](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf)

* :scroll: [Predicate Dispatching](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/predicate-dispatching.pdf)

* :scroll: [Principal type-schemes for functional programs](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/principal-type-schemes-for-functional-programs.pdf)

* :scroll: [Programming Languages: Application and Interpretation](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/programming-languages-application-and-interpretation.pdf)

* :scroll: [The Derivative of a Regular Type is its Type of One-Hole Contexts](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf)

* :scroll: [Theory in Programming Practice](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/theory-in-programming-practice.pdf)
init #clojurewest papers to research 2014-03-26 17:30:49 +00:00			`# Programming Language Theory`

Fix no longer active link to John Backus’ Turning Award paper (#626) 2021-09-22 16:05:26 +00:00			`* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](https://dl.acm.org/doi/pdf/10.1145/359576.359579)`
Add new algebraic effects paper 2014-03-26 06:44:11 +00:00
Fix some broken links. (#718) 2023-02-07 00:46:27 +00:00			`* [Programming and Reasoning with Algebraic Effects and Dependent Types](https://web.archive.org/web/20150102181601id_/http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)`
adds Sammet PL history paper 2014-08-26 16:59:44 +00:00
			`* [Programming Languages: History and Future](http://www.csee.umbc.edu/courses/undergraduate/CMSC331/resources/papers/sammet1972.pdf)`
Soft typing by Robert Cartwright and Mike Fagan This paper from 1991 introduces an approach for runtime type checking and type coercion. It is relevant because this approach is being considered for addition into Ruby 3.0. This paper will be discussed at PWL Berlin. 2014-11-24 22:26:01 +00:00
			`* [Soft Typing](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.24.9333&rep=rep1&type=pdf)`
add paper for sam tbon-hochstadt to readme too 2015-01-25 16:33:56 +00:00
Fix links after rename plt to languages-theory (#573) 2019-09-18 15:59:21 +00:00			`* [:scroll:](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/composable-and-compilable-macros-you-want-it-when.pdf) [Composable and Compilable Macros: You Want it When?](https://www.cs.utah.edu/plt/publications/macromod.pdf)`
add prop as logic wadler paper, also for nyc pwl aug/2015 2015-08-03 15:24:47 +00:00
			`* :scroll: [Propositions as Types](http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf)`
Update to all READMEs for hosted content reorganization of so-called historical papers 2015-10-07 19:11:04 +00:00
Fix links after rename plt to languages-theory (#573) 2019-09-18 15:59:21 +00:00			`* :scroll: [Fundamental Concepts in Programming Languages](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/fundamental-concepts-in-programming-languages.pdf)`
Update to all READMEs for hosted content reorganization of so-called historical papers 2015-10-07 19:11:04 +00:00
Fix links after rename plt to languages-theory (#573) 2019-09-18 15:59:21 +00:00			`* :scroll: [On Understanding Types,`
			`Data Abstraction, and Polymorphism](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf)`
Update to all READMEs for hosted content reorganization of so-called historical papers 2015-10-07 19:11:04 +00:00
Fix links after rename plt to languages-theory (#573) 2019-09-18 15:59:21 +00:00			`* :scroll: [Predicate Dispatching](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/predicate-dispatching.pdf)`
Update to all READMEs for hosted content reorganization of so-called historical papers 2015-10-07 19:11:04 +00:00
Fix links after rename plt to languages-theory (#573) 2019-09-18 15:59:21 +00:00			`* :scroll: [Principal type-schemes for functional programs](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/principal-type-schemes-for-functional-programs.pdf)`
Update to all READMEs for hosted content reorganization of so-called historical papers 2015-10-07 19:11:04 +00:00
Fix links after rename plt to languages-theory (#573) 2019-09-18 15:59:21 +00:00			`* :scroll: [Programming Languages: Application and Interpretation](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/programming-languages-application-and-interpretation.pdf)`
Update to all READMEs for hosted content reorganization of so-called historical papers 2015-10-07 19:11:04 +00:00
Fix links after rename plt to languages-theory (#573) 2019-09-18 15:59:21 +00:00			`* :scroll: [The Derivative of a Regular Type is its Type of One-Hole Contexts](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf)`
Update to all READMEs for hosted content reorganization of so-called historical papers 2015-10-07 19:11:04 +00:00
Fix links after rename plt to languages-theory (#573) 2019-09-18 15:59:21 +00:00			`* :scroll: [Theory in Programming Practice](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/theory-in-programming-practice.pdf)`