Polymorphism (computer science

type theory, polymorphism is the use of one symbol to represent multiple different types. In object-oriented programming, polymorphism is the provision

the first parameter and a covariant functor in the second. Polymorphism (computer science) Inheritance (object-oriented programming) Liskov substitution

form the basis of generic programming. Parametric polymorphism may be contrasted with ad hoc polymorphism. Parametrically polymorphic definitions are uniform:

Chapter 26: Bounded quantification Bounded Polymorphism at the Portland Pattern Repository "F-bounded Polymorphism" in The Cecil Language: Specification and

theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A subtype is a datatype that is related