type constructor

From WikiWord, the free dictionary

English

Definitions

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

Related words

Synonyms

type theory algebraic data type inductive type type variable intuitionistic type theory theoretical computer science homotopy type theory monad transformer product type function type system f container typed lambda calculus top type morphism enriched category

References