type class
Hindley-Milner type system
functor
isoclass
generic class
pleomorphism
gradual typing
type system
bridge pattern
ad-hoc polymorphism
name-based type system
nominal type system
type hinting
duck typing
prototype-oriented programming
quasivariety
abstract type
exotype
quintessence
generic programming
Galois group
algebraic subvariety
bicategory
inclusion polymorphism
subtyping
regular map
prototype-based programming
overloading
phantom type
polymorphia
stenotypist
software framework
scheme
breed
generic type
balanced category
slice category
sieve
type erasure
formal parameter
factory method pattern
endomorphism
object-oriented programming
lens
pseudoclass
typograph
catamorphism
Scala
varitypist
tree