Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
starred-repo
functional-programming
lambda-calculus
type-theory
book
compiler
evaluation
functional-language
haskel
hindley-milner
intermediate-representation
pdf-book
type
type-checking
type-inference
type-system
starred-sdiehl-repo
Updated 2017-04-19 21:42:33 +03:00