LAMBDA LIFTING

Domain	Definition
Computing	Lambda lifting A program transformation to remove free variables. An expression containing a free variable is replaced by a function applied to that variable. E.g. f x = g 3 where g y = y + x x is a free variable of g so it is added as an extra argument: f x = g 3 x where g y x = y + x Functions like this with no free variables are known as supercombinators and are traditionally given upper-case names beginning with "$". This transformation tends to produce many supercombinators of the form f x = g x which can be eliminated by eta reduction and substitution. Changing the order of the parameters may also allow more optimisations. References to global (top-level) constants and functions are not transformed to function parameters though they are technically free variables. A closely related technique is closure conversion. See also Full laziness. Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Expression: LAMBDA LIFTING

Anagrams: LAMBDA LIFTING

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "a-a-b-d-f-g-i-i-l-l-m-n-t"
	-5 letters: ablating, bangtail, dialling, dilating, familial, filmland, flailing, flatland, flatling, imaginal, mantilla.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.

Alternative Orthography: LAMBDA LIFTING

Hexadecimal (or equivalents, 770AD-1900s) (references)

Leonardo da Vinci (1452-1519; backwards) (references)

Binary Code (1918-1938, probably earlier) (references)

HTML Code (1990) (references)

ISO 10646 (1991-1993) (references)

Encryption (beginner's substitution cypher): (references)

Specialty Definition: LAMBDA LIFTING

Expression using "LAMBDA LIFTING": fully lazy lambda lifting. Additional references.
Source: compiled by the editor from various references; see credits.