abstract type
name-based type system
nominal type system
typeful
generic type
phantom type
atypic
metatype
type
cardinality
typic
typa
regular map
strongly-typed
nondegenerate
typeset
typeless
Hindley-Milner type system
abstract class
sort
dialect
setter
proterotype
typeability
breed
compositor
autotypic
typelessness
positive logic
prechordate
valenced
generic programming
unityped
typing
atypical
exception
type hint
gnome sort
set phrase
typification
abnormal
languaged
type safety
unified type system
hieratic
statically-typed
normotypical
type inference
quintessence
gradual typing
nonelement
typesettable
Scala
oligotypic
monotypic
optotypic
ur-type
antitype
metric system
variable
exogenous
value restriction
autoreducible
many-sorted logic
subisotype
ephemeron
type class
primitive
intertypic
type system
ideal-typical
outer automorphism
nonvariant
concept
multitype
inartificial
nominate
parametric polymorphism
nominative type system
safe
invariantly
contypic
verticulate
automorphically
static typing
nonisomorphous
unsubtyped
stenotypist
nonhomogeneously
set
balanced category
ancestor
functor
hom-set
homeotypical
typeable
coterminal

English words for 'a type in a nominative type system that cannot be instantiated.'

As you may have noticed, above you will find words for "a type in a nominative type system that cannot be instantiated.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries