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

by S Antoy, A Tolmach
Venue:In Proc. of FLOPS’99