generic class
type erasure
extend
functor
phantom type
generification
generical
abstract method
genericize
quasivariety
template method
template
Hindley-Milner type system
genericity
software framework
subtyping
classifier
templatize
isoclass
quintessence
final method
abstract class
composite reuse principle
type class
genericism
coterminal
balanced category
type
generify
adaptee
multiclassifier
gradual typing
pseudoclass
serotype
instantiation
mixin
metaclass
genericness
inheritor
genericization
instantiate
constructor
subclass
base class
nominative type system
generically
ad-hoc polymorphism
generics
red bourgeoisie
duck typing
serosubtyping
isoallotypic
act
stamp
subisotype
typology
formal parameter
class-based programming
abstraction
the
eigenclass
type system
monotype
trait
algebraic subvariety
identity morphism
isoallotype
abstract
phenotype
subclassify
strongly-typed
hom-set
superclass
object-oriented programming
specimen
stratified
coclass
multitype
typa
typecast
metatype
biocompiler
Liskov substitution principle
identity functor
overloading
value restriction
object adapter pattern
abstract factory class
metaclassifier
genericalness
representative
serotyping
polytypism
monomorphisation
exemplar
member function
sieve