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]. (1994-10-20)