mirror of
https://github.com/papers-we-love/papers-we-love.git
synced 2024-09-28 22:40:46 +00:00
4 lines
309 B
Markdown
4 lines
309 B
Markdown
* [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)
|