Add new algebraic effects paper

10 years ago · c371233d03
parent 1b7684cd37
commit c371233d03
1 changed files with 2 additions and 0 deletions
--- a/plt/README.md
+++ b/plt/README.md
@ -1 +1,3 @@
 * [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)