Dag-calculus: a calculus for parallel computation

Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski. Dag-calculus: a calculus for parallel computation. In Jacques Garrigue, Gabriele Keller, Eijiro Sumii, editors, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. pages 18-32, ACM, 2016. [doi]

Abstract

Abstract is missing.