PCF

Simply typed, functional.

"Fully Abstract Translations Between Functional Languages", J. Riecke, Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages, pp.245-254 (1991).

"LCF Considered as a Programming Language", Theor CS 5:223 (1977).