Programming with Equations: A Framework for Lazy Parallel Evaluation.

R. C. Sekar, I. V. Ramakrishnan

Browse the full CADE paper archive.