Compiler Correctness for Parallel Languages

Mitchell Wand. Compiler Correctness for Parallel Languages. In FPCA. pages 120-134, 1995.

Abstract

Abstract is missing.