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