Summary:  4th Fuji International Symposium on Functional and Logic Programming (FLOP*
*S'99),

Tsukuba, Japan, Nov. 1999, Springer LNCS Vol. 1722, pages 335-350.



Typed Higher-order Narrowing

without Higher-order Strategies



Sergio Antoy and Andrew Tolmach


Portland State University

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences