Type abstraction
4
subtypes
-- typed lambda calculus
overloading
-- intersection types
bounded polymorphism
-- generics and inheritance
slide
:
Section 9.4: Type abstraction
