Advances in Programming Languages 2018/19 Lecture 6: Higher Types

This lecture digs deeper into types for parametric polymorphism, starting with a review of Hindley-Milner systems with let-polymorphism and type inference before moving on to System F with more explicit interaction between types and terms.