Sugared lambda-calculus(?).
Nearby terms: swapping « swap space « Sweden « SweetLambda » swf » Swing » SWI-Prolog
