Added "Practical Foundations for Programming Languages, Preview"

This commit is contained in:
Alexander Fefelov 2013-12-28 02:34:57 +04:00
parent 9d9894d823
commit 51163dcaef

View File

@ -226,6 +226,7 @@
* [Introduction to Theory of Computation](http://cg.scs.carleton.ca/~michiel/TheoryOfComputation/) (PDF) - Anil Maheshwari and Michiel Smid * [Introduction to Theory of Computation](http://cg.scs.carleton.ca/~michiel/TheoryOfComputation/) (PDF) - Anil Maheshwari and Michiel Smid
* [Models of Computation](http://cs.brown.edu/people/jes/book/) - John E. Savage * [Models of Computation](http://cs.brown.edu/people/jes/book/) - John E. Savage
* [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
* [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/)
* [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey * [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey