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].