Fun
A typed lambda-calculus, similar to SOL[2]. "On Understanding Types, Data
Abstractions and Polymorphism", L. Cardelli et al, ACM Comp Surveys 17(4) (Dec
1985).
Nearby terms:
fully lazy lambda lifting « fully qualified domain
name « fum « Fun » function » functional »
functional database
|
