SweetLambda

Technology Dictionary -> SweetLambda

Search:

SweetLambda



Sugared lambda-calculus(?).