phantom type
abstract type
generic class
typeful
type erasure
unified type system
generic programming
generic type
concept
nondegenerate
strongly-typed
metaclass
Hindley-Milner type system
prototype
generic
normotypical
third-class object
subtyping
statically-typed
type system
single dispatch
Liskov substitution principle
Haskell
many-sorted logic
nominal type system
property
software framework
exception
autoreducible
name-based type system
weakly-typed
formal parameter
typic
valenced
type
type hinting
value restriction
dynamically-typed
second-class object
hypersemigroup
aparametric
gradual typing
constructor
quintessence
type class
polymorphic
box
copy constructor
functor
imperative
multimethod
dialect
static typing
atypic
template
member variable
templatize
abstract class
metatype
extend
instantiate
template method
gnome sort
actual parameter
optotypic
generics
canonical
uniquify
duck typing
tacit programming
proper
type hint
Smalltalk
class
valued
niladic
coterminal
set
hom-set
subhaplotype
exemplar
static
Barton-Nackman trick
filetype
typing
intrinsic
dynamic typing
function overloading
identity morphism
typification
axiomatic system
optional
abstract method
boxing
quasivariety
monoparametric
typical
metaparameter
uniparametric

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 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