Improving Lazy Non-Deterministic Computations by Demand Analysis.

Michael Hanus

Browse the full ICLP paper archive.