Hanus, Michael "Towards the Global Optimization of Functional Logic Programs" pp68-82

(1994)

Compiler Construction '94. (1994) Compiler Construction '94. (Proc. 5th Intl. Conf. on Compiler Construction, Edinburgh, 1994) (CC'94) ed P.A. Fritzson, LNCS786 Springer Verlag  

Languages mentioned