papers-we-love_papers-we-love/plt/README.md

# Programming Language Theory

* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf)

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

* [Backtracking Iterators](https://www.lri.fr/~filliatr/publis/enum2.pdf)

* [Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design](http://www.cs.tufts.edu/~nr/cs257/archive/chris-okasaki/breadth-first.pdf)
init #clojurewest papers to research 2014-03-26 17:30:49 +00:00			`# Programming Language Theory`

readme titles and readme URL approach 2014-03-14 02:39:39 +00:00			`* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf)`
Add new algebraic effects paper 2014-03-26 06:44:11 +00:00
			`* [Programming and Reasoning with Algebraic Effects and Dependent Types](http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)`
init #clojurewest papers to research 2014-03-26 17:30:49 +00:00
			`* [Backtracking Iterators](https://www.lri.fr/~filliatr/publis/enum2.pdf)`

			`* [Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design](http://www.cs.tufts.edu/~nr/cs257/archive/chris-okasaki/breadth-first.pdf)`