ch0ic3/free-programming-books
1
0
Fork 0
mirror of https://github.com/EbookFoundation/free-programming-books.git synced 2024-12-21 19:06:12 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #1244 from jbranchaud/add-programming-and-programming-languages

Browse Source 
Add a link to Programming and Programming Languages.
This commit is contained in:
victor felder 2014-12-15 20:46:17 +01:00
commit 9b434fc30f
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

@ -570,6 +570,7 @@
* [Network Science](http://barabasilab.neu.edu/networksciencebook/index.html) * [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 * [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 * [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 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/)
* [Structure and Interpretation of Computer Programs](http://mitpress.mit.edu/sicp/) * [Structure and Interpretation of Computer Programs](http://mitpress.mit.edu/sicp/)