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.