phantom type
abstract type
generic class
typeful
type erasure
unified type system
generic programming
generic type
concept
nondegenerate
strongly-typed
metaclass
Hindley-Milner type system
prototype
generic
normotypical
third-class object
subtyping
statically-typed
type system
single dispatch
Liskov substitution principle
Haskell
many-sorted logic
nominal type system
property
software framework
exception
autoreducible
name-based type system
weakly-typed
formal parameter
typic
valenced
type
type hinting
value restriction
dynamically-typed
second-class object
hypersemigroup
aparametric
gradual typing
constructor
quintessence
type class
polymorphic
box
copy constructor
functor
imperative