knowledge/programming-books
1
0
Fork 0
mirror of https://github.com/namibia/free-programming-books.git synced 2024-11-30 07:03:54 +00:00
Code Issues Releases Activity

Merge pull request #1393 from mszczepanczyk/nielson

Browse Source 
Add "Semantics with Applications"
This commit is contained in:
victor felder 2015-02-24 11:10:14 +01:00
commit 547c78821b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
free-programming-books.md
View File

@ -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 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 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/) * [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/) * [Structure and Interpretation of Computer Programs](http://mitpress.mit.edu/sicp/)
* [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey * [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey