SweetLambda

SweetLambda

Sugared lambda-calculus(?).
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)