VDict - Definition of type checking

search result for type checking in Computing (FOLDOC) dictionary

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

type-ahead instantiation polymorphism constructed type Persistent Functional Language ECSP generic type variable subtype type inference principal type Run-Time Type Information implicit type conversion Cecil algebraic data type lclint recursive type Trellis type type scheme polymorphic lambda-calculus discriminated union B-Toolkit type assignment Concurrent Euclid Mesa abstract data type functor typed lambda-calculus D-type injection derived type Pentium aggregate type union Ponder weak typing Quest explicit type conversion file type semiconductor enumerated type tuple sound 431A sum of products type strong typing HOOD Hungarian Notation s///CLU memory farts schematic type variable data type Boolean header serial port Acceptance, Test Or Launch Language Document Type Definition infinity Binhex 4.0 inquiry/response system pattern matching monad nslookup codomain Forward Error Correction Interchange File Format scanf X.21 Seiko RC-4000 Multipop-68 Complementary Metal Oxide Semiconductor Amber constructor ANNotated Ada C++Vertical Redundancy Check Abstract-Type and Scheme-Definition Language fascist ZMODEM

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