Typed Higher-Order Narrowing without Higher-Order Strategies.
Sergio Antoy, Andrew P. Tolmach
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/AntoyT99 ↗
Browse the full FLOPS paper archive.