Typed Higher-Order Narrowing without Higher-Order Strategies (1722)

by S Antoy, A Tolmach
Venue:In Proc. 4th Fuji International Symposium on Functional and Logic Programming (FLOPS’99