mirror of
https://github.com/namibia/free-programming-books.git
synced 2024-11-23 12:02:01 +00:00
Add a link to Programming and Programming Languages.
This commit is contained in:
parent
b4bc8ee2a7
commit
0f327422a1
@ -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/)
|
||||
|
Loading…
Reference in New Issue
Block a user