Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation
- Updated
Jan 11, 2021 - Haskell