An operational semantics for parallel lazy evaluation.

Clement A. Baker-Finch, David J. King, Philip W. Trinder

Browse the full ICFP paper archive.