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
| < Previous Terms | Terms Containing Fun | Next Terms > |
| fully associative cache Fully Automated Compiling Technique fully lazy lambda lifting fully qualified domain name fum |
6.001 A# A20 handler ABC ABCL/R2 |
function functional functional database functional dependency functionality |
