Advances in Programming Languages 2018/19 Lecture 5: Higher Polymorphism

This lecture continues from Lecture 3, exploring polymorphism in programming languages with more varieties of polymorphism, more expressive applications of the technique, and a few more things that can go wrong.