From f9418eed7fac4ee1d3fe8d07d5c0467dc2e04475 Mon Sep 17 00:00:00 2001 From: Xuankang Lin Date: Tue, 29 Apr 2014 19:21:17 -0400 Subject: [PATCH] =?UTF-8?q?add=20book=20"Programming=20in=20Martin-L=C3=B6?= =?UTF-8?q?f's=20Type=20Theory"=20by=20Bengt=20Nordstr=C3=B6m?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index e119327c..77fc8d62 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -533,6 +533,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 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/) * [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey