phantom type
abstract type
generic class
typeful
type erasure
unified type system
concept
generic programming
nondegenerate
generic type
strongly-typed
Hindley-Milner type system
metaclass
generic
prototype
normotypical
third-class object
subtyping
single dispatch
statically-typed
Liskov substitution principle
type system
software framework
autoreducible
exception
name-based type system
many-sorted logic
property
Haskell
nominal type system
valenced
type
weakly-typed
formal parameter
typic
value restriction
type hinting
dynamically-typed
hypersemigroup
aparametric
second-class object
type class
constructor
gradual typing
quintessence
polymorphic
multimethod
functor
box
imperative
copy constructor
template
static typing
templatize
abstract class
atypic
dialect
member variable
extend
canonical
actual parameter
instantiate
optotypic
gnome sort
template method
generics
uniquify
metatype
tacit programming
proper
niladic
valued
type hint
duck typing
class
Smalltalk
static
exemplar
hom-set
filetype
Barton-Nackman trick
subhaplotype
coterminal
set
typification
intrinsic
identity morphism
dynamic typing
function overloading
typing
optional
quasivariety
boxing
axiomatic system
uniparametric
monoparametric
typical
metaparameter
abstract method
typeful
strongly-typed
generic
normotypical
statically-typed
autoreducible
valenced
weakly-typed
typic
dynamically-typed
aparametric
polymorphic
imperative
atypic
canonical
optotypic
proper
niladic
valued
static
coterminal
uniparametric
monoparametric
typical
phantom type
abstract type
generic class
type erasure
unified type system
concept
generic programming
nondegenerate
generic type
Hindley-Milner type system
metaclass
prototype
third-class object
subtyping
single dispatch
type system
software framework
exception
name-based type system
many-sorted logic
property
nominal type system
formal parameter
value restriction
type hinting
hypersemigroup
second-class object
type class
constructor
gradual typing
quintessence
multimethod
functor
copy constructor
template
static typing
abstract class
dialect
member variable
actual parameter
gnome sort
template method
generics
metatype
tacit programming
type hint
duck typing
class
exemplar
hom-set
subhaplotype
typification
intrinsic
identity morphism
dynamic typing
function overloading
typing
optional
quasivariety
boxing
axiomatic system
metaparameter
abstract method
type
box
templatize
extend
instantiate
uniquify
filetype
set
English words for 'A parameterized type that does not depend on all of its type parameters.'
As you may have noticed, above you will find words for "A parameterized type that does not depend on all of its type parameters.". Hover the mouse over the word you'd like to know more about to view its definition. Click 
to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.
Recent Queries
kiosk
good result
angry voice
French
used up
trendy.
A confusion
cellular
acquaintanceship
Pacific War
to twinge
An instance of that act
student teacher
Not fragrant
unquestioned.
To discuss
kilobit
something short-lived
exclusive.
resistance to heat
inadequate.
lowness
removable
In good faith
natural disaster
bracelet
an instant
ruination
lawn
LP
immovable.
blood
fiber
envious.
explanatory
main part
don't you agree?
to vibrate
that time
arch
coagulation
properly.
hopeless.
magic
rehabilitation
bathroom
paltry
to receive
desire
attendant