Luc Moreau, Daniel Ribbens
Sound Rules for Parallel Evaluation of a Functional Language with callcc
FPCA, 1993.
@inproceedings{FPCA-1993-MoreauR, author = "Luc Moreau and Daniel Ribbens", booktitle = "{Proceedings of the Sixth Conference on Functional Programming Languages and Computer Architecture}", isbn = "0-89791-595-X", pages = "125--135", publisher = "{ACM Press}", title = "{Sound Rules for Parallel Evaluation of a Functional Language with callcc}", year = 1993, }