ETA CONVERSION

Domain	Definition
Computing	Eta conversion In lambda-calculus, the eta conversion rule states \ x . f x <--> f provided x does not occur as a free variable in f and f is a function. Left to right is eta reduction, right to left is eta abstraction (or eta expansion). This conversion is only valid if bottom and \ x . bottom are equivalent in all contexts. They are certainly equivalent when applied to some argument - they both fail to terminate. If we are allowed to force the evaluation of an expression in any other way, e.g. using seq in Miranda or returning a function as the overall result of a program, then bottom and \ x . bottom will not be equivalent. See also observational equivalence, reduction. Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Anagrams: ETA CONVERSION

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "a-c-e-e-i-n-n-o-o-r-s-t-v"
	-1 letter: conservation, conversation.
	-2 letters: coinventors, contravenes, covenanters, covenantors, enervations, noncreative, nonreactive, overactions, renovations, revocations, venerations.
	-3 letters: coinventor, coinvestor, containers, contravene, conversant, conversion, covenanter, covenantor, crenations, enervation, evocations, innervates, innovators, interocean, nectarines, nervations, nonvectors, novocaines, octonaries, overaction, renovation, revocation, transience, veneration, ventricose, vernations.
	-4 letters: ancienter, anointers, anoretics, canneries, cannister, canonries, carotenes, centiares, cisternae, coinvents, conations, connivers.
	Words containing the letters "a-c-e-e-i-n-n-o-o-r-s-t-v"
	+2 letters: neoconservatism, neoconservative, nonconservative.
	+3 letters: neoconservatisms, neoconservatives, nonconservatives, overcompensating, overcompensation.
	+4 letters: overcompensations.
	+5 letters: overconcentrations.
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.