Mitchell Wand
Compiler Correctness for Parallel Languages
FPCA, 1995.
@inproceedings{FPCA-1995-Wand, author = "Mitchell Wand", booktitle = "{Conference Record of the Seventh SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture}", isbn = "0-89791-595-X", pages = "120--134", publisher = "{ACM Press}", title = "{Compiler Correctness for Parallel Languages}", year = 1995, }