Hai Liu, Eric Cheng, Paul Hudak. Causal commutative arrows and their optimization. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 35-46, ACM, 2009. [doi]
Abstract is missing.