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

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