VDict - Definition of generic type variable

search result for generic type variable in Computing (FOLDOC) dictionary

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

generic type variable type scheme schematic type variable polymorphism type inference instantiation Hungarian Notation generic programming principal type environment variable CLU bound variable type Isabelle Boolean union DIM statement infinity free variable volatile variable monad scanf constructed type Interchange File Format subtype initialise Ada-O waldo logic variable Run-Time Type Information quantifier bracket abstraction singleton variable implicit type conversion thunk component architecture lambda abstraction algebraic data type recursive type Extended Pascal data warehouse Eiffel lambda lifting hook shallow binding Logical Unit 6.2 fred evolution strategy name capture polymorphic lambda-calculus discriminated union [incr Tcl]type assignment narrowing metasyntax Generic Security Service Application Programming Interface abstract data type functor type-ahead typed lambda-calculus D-type single assignment strength reduction injection TZ RLaB call-by-value-result element dynamic link monitor MIB Variable derived type aggregate type Ponder Digital Lempel Ziv 1 weak typing occurs check visualisation Concurrent Euclid abstraction

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