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