Compilers & Programming Languages
- Crafting Interpreters by Robert Nystrom (2021) — Build a full language from scratch — tree-walk and bytecode. Gorgeous. (copyrighted)
- Compilers: Principles, Techniques, and Tools (Dragon Book) by Aho, Lam, Sethi, Ullman (2006) — The classic compiler textbook. Lexing, parsing, codegen, optimization. (copyrighted)
- Types and Programming Languages by Benjamin C. Pierce (2002) — The type theory textbook. Lambda calculus to System F and beyond. (copyrighted)