From 0250c6ee383bb090898b1d723049114f73d24bcf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mariusz=20Szczepa=C5=84czyk?= Date: Mon, 23 Feb 2015 22:22:31 +0100 Subject: [PATCH] Add "Semantics with Applications" --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index b36a0cd7..12fe0539 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -604,6 +604,7 @@ Original Source: [Free Programming books](http://stackoverflow.com/revisions/392 * [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/) +* [Semantics with Applications: A Formal Introduction](http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html) - Hanne Riis Nielson, Flemming Nielson * [Structure and Interpretation of Computer Programs](http://mitpress.mit.edu/sicp/) * [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey -- GitLab