VDict - Definition of bound variable

search result for bound variable in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

bound variable free variable logic variable name capture environment variable bracket abstraction narrowing lambda abstraction least upper bound greatest lower bound Goffin volatile variable unification upper bound initialise complete lattice quantifier singleton variable intelligent backtracking maximal free expression distributive lattice generic type variable beta reduction Hungarian Notation lambda lifting instantiation hook lattice shallow binding evolution strategy schematic type variable [incr Tcl]metasyntax type scheme fully lazy lambda lifting single assignment strength reduction TZ call-by-value-result DIM statement dynamic link termination analysis MIB Variable polymorphism partial ordering Digital Lempel Ziv 1 occurs check visualisation abstraction N indirection parallelism type inference referential transparency metasyntactic variable Internet Protocol version 6 byte-code Meet infimum \sqcap \sqcup supremum GLB Moore bound VLSM lub directed set grault FGL+LV actual argument occlude garply VAR corge bar graph boundedly complete gorp complete partial ordering SCOOPS

First < Previous 1 2 3 Next > Last