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-09-27 22:13:46 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #164 from videlalvaro/master

Browse Source 
adds Sammet PL history paper
This commit is contained in:
Jeremy Heiler 2014-08-26 13:46:42 -04:00
commit 25f958f262
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
plt/README.md
View File

@ -3,3 +3,5 @@
* [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)
* [Programming Languages: History and Future](http://www.csee.umbc.edu/courses/undergraduate/CMSC331/resources/papers/sammet1972.pdf)