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).

Try this search on Wikipedia, OneLook, Google

Nearby terms: fully lazy lambda lifting « fully qualified domain name « fum « Fun » function » functional » functional database


Copyright Denis Howe 1985 General Business Directory.