typing
typification
metatype
sort
quintessence
cardinality
type system
generic type
concept
instantiation
typology
stamp
abstraction
abstract type
breed
eidos
deployment
object-oriented programming
subkind
many-sorted logic
autocategorization
categorization
quasivariety
topotype
autocategorisation
Apus
typeability
Hindley-Milner type system
genus Apus
variosity
name-based type system
nominal type system
compositor
distribution
cladification
bicategory
multicategory
generic programming
principal part
hom-set
nominative type system
model
typography
copy
functor
setter