Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity
a2c25daeb0
papers-we-love_papers-we-love/plt/README.md

4 lines
309 B
Markdown
Raw Normal View History

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)
Reference in New Issue Copy Permalink