Causal commutative arrows revisited.

Jeremy Yallop, Hai Liu

Browse the full HASKELL paper archive.