Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.

Stephen D. Brookes, Denis Dancanet

Browse the full POPL paper archive.