phantom type
generic class
abstract type
typeful
type erasure
unified type system
generic programming
nondegenerate
concept
generic type
strongly-typed
Hindley-Milner type system
metaclass
normotypical
generic
prototype
third-class object
subtyping
type system
single dispatch
Liskov substitution principle
statically-typed
autoreducible
many-sorted logic
property
software framework
name-based type system
Haskell
exception
nominal type system
formal parameter
type
typic
weakly-typed
valenced
value restriction
dynamically-typed
type hinting
hypersemigroup
aparametric
second-class object
quintessence
constructor
gradual typing
polymorphic
type class
box
functor
multimethod
imperative
copy constructor
templatize
member variable
dialect
abstract class
static typing
atypic
template
metatype
actual parameter
instantiate
gnome sort
template method
extend
canonical
uniquify
optotypic
generics
duck typing
tacit programming
valued
type hint
class
Smalltalk
proper
niladic
set
static
hom-set
Barton-Nackman trick
filetype
exemplar
subhaplotype
coterminal
function overloading
dynamic typing
intrinsic
typification
typing
identity morphism
monoparametric
quasivariety
metaparameter
boxing
typical
uniparametric
abstract method
axiomatic system
optional
typeful
strongly-typed
normotypical
generic
statically-typed
autoreducible
typic
weakly-typed
valenced
dynamically-typed
aparametric
polymorphic
imperative
atypic
canonical
optotypic
valued
proper
niladic
static
coterminal
monoparametric
typical
uniparametric
phantom type
generic class
abstract type
type erasure
unified type system
generic programming
nondegenerate
concept
generic type
Hindley-Milner type system
metaclass
prototype
third-class object
subtyping
type system
single dispatch
many-sorted logic
property
software framework
name-based type system
exception
nominal type system
formal parameter
value restriction
type hinting
hypersemigroup
second-class object
quintessence
constructor
gradual typing
type class
functor
multimethod
copy constructor
member variable
dialect
abstract class
static typing
template
metatype
actual parameter
gnome sort
template method
generics
duck typing
tacit programming
type hint
class
hom-set
exemplar
subhaplotype
function overloading
dynamic typing
intrinsic
typification
typing
identity morphism
quasivariety
metaparameter
boxing
abstract method
axiomatic system
optional
type
box
templatize
instantiate
extend
uniquify
set
filetype
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
To wind
decisive action
Not vigilant
laughter.
Not gregarious
at one's wits' end
special character
To lop
whaling
DI
both people
to start (something)
Having pimples
the salts are used as flavour enhancers
joint operation
to sell well
not a true potato
kimchee
to go home
methanethiol
enzyme
sort.
To treat (someone) as though inferior
a review.
a puffball.
ergonomic
loyal retainer
newness.
cue card
pervasion
conduit
academia
gently.
water shortage
chest of drawers
unskillfulness
brand new
understand
android
backwards
whenever
neutrality
to take into account
retaliation
single-minded
to be eager
traffic
many times
bond
senior