VDict - Definition of type constructors

search result for type constructors in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

algebraic data type tuple C++generic programming constructed type generic type variable subtype type inference principal type Run-Time Type Information implicit type conversion recursive type type type scheme polymorphic lambda-calculus discriminated union type assignment abstract data type functor type-ahead typed lambda-calculus D-type injection Oberon-V instantiation derived type aggregate type union Ponder weak typing Quest explicit type conversion file type semiconductor enumerated type sound 431A Hope+sum of products type strong typing Hungarian Notation s///CLU schematic type variable data type Boolean Persistent Functional Language polymorphism serial port Document Type Definition infinity pattern matching monad nslookup codomain Interchange File Format scanf Seiko RC-4000 Complementary Metal Oxide Semiconductor Amber constructor Abstract-Type and Scheme-Definition Language Eiffel Alex White Book xyzzy Cedar scalar Liskov substitution principle Russell's Paradox Isabelle Advanced Communication Function/Network Control Program lazy evaluation lifted domain Ada 95 m2 whois class PNP wedged

First < Previous 1 2 3 4 5 Next > Last