Cited in
(17)- Causal commutative arrows and their optimization
- Dynamic optimization for functional reactive programming using generalized algebraic data types
- Safe functional reactive programming through dependent types
- EditorArrow
- Sparkle
- FranTk
- Freja
- Hat
- Hood
- Fran
- Lucid
- EditorArrow: An arrow-based model for editor-based programming
- Functional automatic differentiation with Dirac impulses
- Fault-tolerant functional reactive programming (extended version)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
- Causal commutative arrows
This page was built for software: Yampa
