github
/
free-programming-books
mirror of https://github.com/EbookFoundation/free-programming-books.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #940 from AndriyLin/master

Browse Source 
add book "Programming in Martin-Löf's Type Theory" by Bengt Nordström
pull/941/head
Mohammad Hossein Mojtahedi 11 years ago
parent 5be0bfa056 f9418eed7f
commit a57e877393
1 changed files with 1 additions and 0 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 1
      free-programming-books.md

1
free-programming-books.md
Unescape View File

@ -533,6 +533,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 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/)
* [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey * [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey

Write Preview
Loading…
Cancel
Save