dependent type

From WikiWord, the free dictionary

English

Definitions

No definition found for “dependent type”. Check the spelling, or try a related word.

Related words

Synonyms

dependency function local variable conditional object decidability circular definition predicate apply declarer mutator method propositional variable boolean recursion material conditional logic programming

References