Home
Syllabus
Lecture Notes
Textbooks
Course textbooks- Types and Programming Languages by Benjamin Pierce
- Formal Semantics of Programming Languages by Glynn Winskel
- Advanced Topics in Types and Programming Languages by Benjamin Pierce
- Practical Foundations of Programming Languages by Robert Harper--available online