Lecture dates

15.10. (introduction to parametric polymorphism), 29.10. (system HM, type inference), 5.11. (system F and beyond)

Reading

Books

• [Pierce], chapter 23
• H. Barendregt: Lambda Calculi with Types [PDF]

​Other

• L. Damas and R. Milner: Principal type-schemes for functional programs [PDF]
  • ​The original  paper describing the type inference algorithm W
• E. Marquart: Hindley-Milner Type Inference
  • Easily accessible write-up on the type inference algorithm, by a student at TUM.
• L. Cardelli, P. Wegner: On Understanding Types, Data Abstraction, and Polymorphism [ACM DL] (accessible from MU)

Slides