constructed type

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.
References in periodicals archive ?
Usually items for questioning are grouped into either a selection type or a constructed type (Gredler, 1999).
Tenders are invited for Construction of approach road to newly constructed type iv qtrs at shq bsf kishanganj.
5 Tr Energy Efficient Stac Unit In Recreation Hall And Rwa Offices At Newly Constructed Type Iii And Type Ii Qtrs G And H Block At G Point President Estate New Delhi 2 Providing And Fixing Of 1.
Tenders are invited for 1 Providing And Installation Of 180Tr And 15 Tr Energy Efficient Stac Unit In Recreation Hall And Rwa Offices At Newly Constructed Type Iii And Type Ii Qtrs G And H Block At G Point President Estate New Delhi 2 Providing And Fixing Of 180 Tr Energy Efficient Stac Unit In Record Section President Estate New Delhi 3 Providing And Installation Of 22 Tr Energy Efficient Stac Unit In Tour Section At Rashtrapati Bhavan New Delhi 4 Providing And Installation Of 380 Tr Floor Standing Stac Unit At Main Pantry Rashtrapati Bhavan New Delhi
Tenders are invited for Providing service connection i/c feeder pillar and distribution panel of newly constructed type ii 48 nos and type iii 18 nos resi qtrs of shq bsf gandhinagar
Tenders are invited for Providing service connection feeder pillar and distribution panel of newly constructed type ii 48 nos and type iii 18 nos resi qtr of shq bsf gandhinagar
Tenders are invited for Provision Of Foot Path Around The Plot In Front Of Newly Constructed Type V Accn At Cgra Tuticorin Under Ge Tirunelveli
Tenders are invited for Electrification and providing power supply to the newly constructed Type D, Type C Quarters and street lighting arrangements along the new colony roads at B-G Area.
A shortcut is to make use of constructed types to enforce Herbrand interpretations over certain types.