type theory, polymorphism is the use of one symbol to represent multiple different types. In object-oriented programming, polymorphism is the provision
polymorphic, polymorph, polymorphous, or polymorphy may refer to: Polymorphism (computerscience), the ability in programming to present the same programming
form the basis of generic programming. Parametric polymorphism may be contrasted with ad hoc polymorphism. Parametrically polymorphic definitions are uniform:
the first parameter and a covariant functor in the second. Polymorphism (computerscience) Inheritance (object-oriented programming) Liskov substitution