Polymorphism (computer science)

in programming languages and type theory, accessing different types using a common interface

process of selecting which implementation of a polymorphic operation (method or function) to call at run time

relationship between a generic type or a function and a component type on subtyping

form of abstraction for type or method to allow them to be functions of a type parameter

feature of some programming languages

typed lambda calculus

In programming language theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements (typically subroutines or functions), written to operate on elements of the supertype, can also operate on elements of the subtype.

basis of generic programming

applying polymorphic functions to arguments of different types