On Reducing the Search Space of Higher-Order Lazy Narrowing.
Mircea Marin, Tetsuo Ida, Taro Suzuki
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/MarinIS99 ↗
Browse the full FLOPS paper archive.