pp. 330-335 in Bjørn Pehrson, Imre Simon (eds):
Technology and Foundations, Information Processing '94,
Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September 1994, Volume I
, IFIP Transactions A-51,
Modern functional languages all support higher-order functions. Nevertheless actual applications are mostly written in an applicative style. We show how working with a language based on slightly shifted concepts and embedded into a powerful environment can bring about change.
Also refer to the HOPS home page.