Causal commutative arrows revisited
Jeremy Yallop, Hai Liu · 2016
Causal commutative arrows (CCA) extend arrows with additional constructs and laws that make them suitable for modelling domains such as functional reactive programming, differential equations and synchronous dataflow.