LambdaDropping
Last edit November 19, 2004
The opposite of
LambdaLifting
CategoryRefactoring