From 79dd7656d0c4d361b331cb41d91de77cbff5869a Mon Sep 17 00:00:00 2001 From: Alvaro Videla Date: Tue, 26 Aug 2014 18:59:44 +0200 Subject: [PATCH] adds Sammet PL history paper --- plt/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/plt/README.md b/plt/README.md index 873fa26..9ef0e68 100644 --- a/plt/README.md +++ b/plt/README.md @@ -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)