An operational semantics for parallel lazy evaluation

Clement A. Baker-Finch, David J. King, Philip W. Trinder. An operational semantics for parallel lazy evaluation. In ICFP. pages 162-173, 2000. [doi]

Abstract

Abstract is missing.