An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language.

Bernhard Mller

Browse the full ICALP paper archive.