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