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