904,901,209 visitors served.

Dictionary/
thesaurus

Medical
dictionary

Legal
dictionary

Financial
dictionary

Acronyms

Idioms

Encyclopedia

Wikipedia
encyclopedia

constructed type

0.07 sec.

constructed type - A type formed by applying some type constructor function to one or more other types. The usual constructions are functions: t1 -> t2, products: (t1, t2), sums: t1 + t2 and lifting: lift(t1).

(In LaTeX, the lifted type is written with a subscript \perp).

See also algebraic data type, primitive type.

?Page tools

Printer friendly

Cite / link

Feedback

Your Ad Here

Mentioned in

abstract interpretation

algebraic data type

lifted domain

Encyclopedia browser

Full browser

constraint
constraint functional programming
Constraint Handling In Prolog
Constraint Logic Programming
constraint satisfaction
ConstraintLisp
CONSTRAINTS

constructed type
constructive
Constructive Cost Model
constructive solid geometry
constructivism
constructor
consubstantiation
consul

Constructable Strategy Game

Constructal

Constructal law

Constructal method

Constructal optimization

Constructal theory

constructed

Constructed culture

Constructed Ecosystems Research Facility

Constructed Fare (airlines)

Constructed language

Constructed languages

Constructed Mediated Reality (Mass Communications)

Constructed reality

Constructed Response (test type item)

constructed type

Constructible function

Constructible number

Constructible numbers

Constructible point

Constructible polygon

Constructible set

Constructible strategy game

Constructible subset

Constructible universe

Constructicon

Constructicons

constructing

Constructing Assured & Motivated People

Constructing Codes with Fixed Dual Distance (algorithm)

Constructio contra rationem introducta

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content NEW! \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.