VDict - Definition of free variable

search result for free variable in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

free variable lambda lifting bound variable name capture maximal free expression free quantifier lambda abstraction free software volatile variable visualisation fully lazy lambda lifting Richard Stallman fragmentation initialise environment variable logic variable closed term bracket abstraction singleton variable supercombinators type inference generic type variable Hungarian Notation instantiation hook shallow binding for free evolution strategy General Public License schematic type variable [incr Tcl]narrowing metasyntax eta conversion type scheme combinator First Fit Free Software Foundation single assignment strength reduction TZ call-by-value-result Zermelo set theory DIM statement defragment dynamic link copious free time MIB Variable call-by-name polymorphism Digital Lempel Ziv 1 occurs check open source RFE abstraction N maintainer aard indirection content-free semaphore statistical time division multiplexing Captain Crunch Voters Telecommunications Watch unification Debian parallelism TANSTAAFL Live Free Or Die!referential transparency fix metasyntactic variable garbage collection Internet Protocol version 6 byte-code semiconductor VLSM grault natural deduction

First < Previous 1 2 3 4 5 Next > Last