VDict - Definition of eta reduction

search result for eta reduction in Computing (FOLDOC) dictionary

reduction reduction strategy parallel reduction string reduction beta reduction Computational Adequacy Theorem Weak Head Normal Form applicative order reduction delta reduction Church-Rosser Theorem graph reduction head normalisation theorem name capture call-by-name normal order reduction Compiler Target Language projection call-by-need normal form eta conversion Goffin black hole lazy evaluation RPL-1 LNF finite differencing redex S-K reduction machine term rewriting system contraction eta reduction GRIP evaluation GRAAL beta conversion demand driven delta conversion evaluation strategy diverge graph rewriting system specialisation Tcode combination EDL extensional equality Codd's reduction algorithm David Turner ParAlfl call-by-value Interactive Data Language alpha conversion strength reduction relational calculus G-Code DACTL relational algebra inline full laziness beta abstraction injection Head Normal Form attenuation lambda lifting abstract machine Scheme closure lambda-calculus T functional programming Miranda quine XPL Joint Bi-level Image Experts Group