Building a Virtual Machine

Essentials of Low-level Interpretation

Programming Language with LLVM

Practical approach to programming languages

Building a Typechecker from scratch

Essentials of Type checking and Inference