Causal commutative arrows and their optimization (2009)

by H Liu, E Cheng, P Hudak
Venue:In International Conference on Functional Programming (ICFP