FP/M
An abstract machine and intermediate language for functional languages, used to implement Hope. FP/M is an optimisation of the SECD machine.
["The Compilation of FP/M Programs into Conventional Machine Code", A.J. Field, Imperial College, London, 1985].
["Functional Programming", A.J. Field & P.G. Harrison, A-W 1988].