@article{Liu:2011:CCA:2139531.2139535, author = {Liu, Hai and Cheng, Eric and Hudak, Paul}, title = {Causal commutative arrows}, journal = {Journal of Functional Programming}, issue_date = {September 2011}, volume = {21}, number = {4-5}, issn = {0956-7968}, pages = {467--496}, numpages = {30}, url = {http://dx.doi.org/10.1017/S0956796811000153}, doi = {10.1017/S0956796811000153}, acmid = {2139535}, publisher = {Cambridge University Press}, address = {New York, NY, USA}, }