type class
functor
Hindley-Milner type system
isoclass
generic class
pleomorphism
typical
gradual typing
ad-hoc polymorphism
statically-typed
type system
bridge pattern
nominal type system
duck typing
name-based type system
type hinting
prototype-oriented programming
quasivariety
abstract type
strongly-typed
quintessence
exotype
iso-
Galois group
generic programming
subtyping
prototype-based programming
regular map
Smalltalk
bicategory
algebraic subvariety
overloading
inclusion polymorphism
polymorphia
type
typecast
polytype
stenotypist
coterminal
phantom type
software framework
breed
scheme
formal parameter
factory method pattern
balanced category
ultrahomogeneous
endomorphism
object-oriented programming
generic type
slice category
sieve
type erasure
pseudoclass
Scala
Standard ML
commutative
polymorphic
catamorphism
typograph
lens
composite reuse principle
prototypal
archetypical
varitypist
archetypal
prototypical
facade pattern
prototypic
module pattern
tree
functor category
abstract class
monomorphisation
typing
ancestor
nominative type system
class-based programming
generics
hemisemidirect
mapping
orthomorphism
universal property
Liskov substitution principle
parametric polymorphism
record
semigroupoid
metatype
prototype pattern
template method
Zariski topology
composite type
object adapter pattern
elaboration
subset classifier
generic
sort
amorphia
projection