Hacker News
- Types and Programming Languages (2002) https://mitpress.mit.edu/books/types-and-programming-languages 28 comments
Linking pages
- Introducing MLFE - NoisyCode http://noisycode.com/blog/2016/06/27/introducing-mlfe 23 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- A practitioner’s guide to reading programming languages papers | the morning paper https://blog.acolyer.org/2018/01/26/a-practitioners-guide-to-reading-programming-languages-papers/ 16 comments
Related searches:
Search whole site: site:mitpress.mit.edu
Search title: Book Details - MIT Press
See how to search.