From 0f327422a13a6349af53a8b32e30da8baa65fd89 Mon Sep 17 00:00:00 2001 From: jbranchaud Date: Mon, 15 Dec 2014 12:59:35 -0600 Subject: [PATCH] Add a link to Programming and Programming Languages. --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index c609b1fe..ce4b7c1b 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -570,6 +570,7 @@ * [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 * [Principles of Programming Languages](http://www.cs.jhu.edu/~scott/pl/book/dist/) - Scott F. Smith +* [Programming and Programming Languages](http://papl.cs.brown.edu/2014/index.html) - Shriram Krishnamurthi * [Programming in Martin-Löf's Type Theory](http://www.cse.chalmers.se/research/group/logic/book/) - Bengt Nordstroem * [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/) -- GitLab