FP/M

An intermediate language for functional languages, used to implement Hope.

"The Compilation of FP/M Programs into Conventional Machine Code", A. J. Field, Imperial College, London, 1985.

Functional Programming, Anthony J. Field & Peter G. Harrison, Addison-Wesley, 1988.