InterpreterAndCompilerDocs Crafting interpreters Write your own programming language Standford class on compiler Language Implementation Patterns Subtype Inference by Example Basic compiler design Hindley-Milner tutorial