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).
FUN
Meaning of FUN in English
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012