Clement A. Baker-Finch, David J. King, Philip W. Trinder. An operational semantics for parallel lazy evaluation. In ICFP. pages 162-173, 2000. [doi]
@inproceedings{Baker-FinchKT00,
title = {An operational semantics for parallel lazy evaluation},
author = {Clement A. Baker-Finch and David J. King and Philip W. Trinder},
year = {2000},
doi = {10.1145/351240.351256},
url = {http://doi.acm.org/10.1145/351240.351256},
tags = {laziness, semantics, operational semantics},
researchr = {https://researchr.org/publication/Baker-FinchKT00},
cites = {0},
citedby = {0},
pages = {162-173},
booktitle = {ICFP},
}