diff --git a/plt/README.md b/plt/README.md
index 50617ee..ef4adb0 100644
--- 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)