Programming Language Design and Implementation (Autumn 2021)¶
Lectures and Code¶
Lecture materials will be posted gradually as we progress through the course.
Textbooks and Resources¶
On compiler priniples
- Compilers: Principles, Techniques, and Tools (2nd Edition) by Aho, Lam, Sethi, and Ullman
- Advanced Compiler Design and Implementation by Muchnick
- Modern Compiler Implementation in ML by Appel
On Types and Type Systems
- Types and Programming Languages by Pierce
- Advanced Topics in Types and Programming Languages by Pierce et al.
On Program Analysis
- Principles of Program Analysis by Nielson, Nielson, and Hankin