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).
Fun Programming Language
http://www.programming-languages.co.uk/fun.html
Large list of computer programming languages arranged alphabetically, with explanations.