Skip to content

An Abstract Machine Based System for a Lazy Narrowing Calculus.

Maria Teresa Hortal-Gonzlez, Eva Ulln

Year2001
ProceedingsFLOPS

Browse the full FLOPS paper archive.