Login / Signup

On Reducing the Search Space of Higher-Order Lazy Narrowing.

Mircea MarinTetsuo IdaTaro Suzuki
Published in: Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases