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]

Authors

Umut A. Acar

This author has not been identified. Look up 'Umut A. Acar' in Google

Arthur Charguéraud

This author has not been identified. Look up 'Arthur Charguéraud' in Google

Mike Rainey

This author has not been identified. Look up 'Mike Rainey' in Google

Filip Sieczkowski

This author has not been identified. Look up 'Filip Sieczkowski' in Google