You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL