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.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.