Causal Commutative Arrows

CCA

• Causal Commutative Arrows
• Causal Commutative Arrows and Their Optimization
  • video

• Compiling Signal Processing Code embedded in Haskell via LLVM: Describes the use of causal arrows for generating LLVM code for signal processing. A fusion framework is not required, since every arrow is implemented in a canonical form.