VDict - Definition of type variable

search result for type variable in Computing (FOLDOC) dictionary

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

generic type variable type scheme type inference instantiation Hungarian Notation schematic type variable principal type environment variable polymorphism bound variable type Boolean union DIM statement infinity free variable volatile variable monad scanf constructed type subtype initialise CLU logic variable Run-Time Type Information quantifier bracket abstraction singleton variable implicit type conversion lambda abstraction algebraic data type recursive type Extended Pascal lambda lifting hook shallow binding fred evolution strategy name capture polymorphic lambda-calculus discriminated union [incr Tcl]type assignment narrowing metasyntax abstract data type functor type-ahead typed lambda-calculus D-type single assignment strength reduction injection TZ RLaB call-by-value-result dynamic link monitor MIB Variable derived type aggregate type Ponder Digital Lempel Ziv 1 weak typing occurs check visualisation Concurrent Euclid abstraction Quest N XSB explicit type conversion file type ML Kit indirection semiconductor enumerated type tuple sound Liana

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