Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs.

P. A. Subrahmanyam, Jia-Huai You

Browse the full POPL paper archive.