English Computing Dictionary
◊ SWEETLAMBDA
SweetLambda
Sugared {lambda-calculus}(?).