Typed Higher-order Narrowing without Higher-order Strategies (1999)

by Sergio Antoy , Andrew Tolmach
Venue:IN PROC. 4TH FUJI INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS’99
Citations:11 - 4 self