polymorphism
in programming languages and type theory, accessing different types using a common interface
subtyping
a form of type polymorphism
row polymorphism
kind of polymorphism
ad hoc polymorphism
applying polymorphic functions to arguments of different types
parametric polymorphism
basis of generic programming