Causal commutative arrows and their optimization.

Hai Liu, Eric Cheng, Paul Hudak

Browse the full ICFP paper archive.