VDict - Definition of intersection type

search result for intersection type in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

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

First < Previous 1 2 3 4 5 6 Next > Last