Clement A. Baker-Finch, David J. King, Philip W. Trinder
An operational semantics for parallel lazy evaluation
ICFP, 2000.
@inproceedings{ICFP-2000-Baker-FinchKT,
author = "Clement A. Baker-Finch and David J. King and Philip W. Trinder",
booktitle = "{Proceedings of the Fifth International Conference on Functional Programming}",
doi = "10.1145/351240.351256",
editor = "Martin Odersky and Philip Wadler",
isbn = "1-58113-202-6",
pages = "162--173",
publisher = "{ACM}",
title = "{An operational semantics for parallel lazy evaluation}",
year = 2000,
}