Skip to content

A demand-driven narrowing calculus with overlapping definitional trees.

Rafael del Vado Vrseda

VenueCPPDP
Year2003
ProceedingsPPDP

Browse the full PPDP paper archive.