Polymorphism
- abstract inheritance
- subtypes
- type abstraction
- self-reference
Additional keywords and phrases:
exceptions, type calculi,
parametric types, coercion, ad hoc polymorphism,
universal types, existential types,
unfolding, intersection types