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 qualified domain name ♦ fum ♦ Fun ♦ function ♦ functional ♦ functional database
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
