type constructor
Sign in to saveAlso known as type operator
feature of a typed formal language that builds new types from old ones
Connections
list
Entity
primitive data type
Entity
System F
Entity
simply typed lambda calculus
Entity
computer science
Entity
International Standard Book Number
Entity
mathematical logic
Entity
bit
Entity
byte
Entity
data structure
Entity
Q34010
Entity
pointer
Entity
functional programming
Entity
formal language
Entity
data type
Entity
class
Entity
floating point
Entity
string
Entity
object
Entity
assignable variable
Entity