VDict - Definition of type variable

Word not found. Suggestions:

Words contain "type variable"

generic type variable schematic type variable

Reverse definition search (Computing (FOLDOC) dictionary):

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 more...