Polymorphism

9

  • 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
slide: Polymorphism