From 51163dcaefda94af522c111a3f0bbc604c586113 Mon Sep 17 00:00:00 2001 From: Alexander Fefelov Date: Sat, 28 Dec 2013 02:34:57 +0400 Subject: [PATCH] Added "Practical Foundations for Programming Languages, Preview" --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index b91ee02a..3758fc9e 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -226,6 +226,7 @@ * [Introduction to Theory of Computation](http://cg.scs.carleton.ca/~michiel/TheoryOfComputation/) (PDF) - Anil Maheshwari and Michiel Smid * [Models of Computation](http://cs.brown.edu/people/jes/book/) - John E. Savage * [Network Science](http://barabasilab.neu.edu/networksciencebook/index.html) +* [Practical Foundations for Programming Languages, Preview](http://www.cs.cmu.edu/~rwh/plbook/book.pdf) - Robert Harper * [Programming Languages: Application and Interpretation (2nd Edition)](http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/) * [Structure and Interpretation of Computer Programs](http://mitpress.mit.edu/sicp/) * [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey -- GitLab