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