Yampa
From MaRDI portal
Software:25595
swMATH13681MaRDI QIDQ25595FDOQ25595
Author name not available (Why is that?)
Cited In (9)
- Causal commutative arrows and their optimization
- Dynamic optimization for functional reactive programming using generalized algebraic data types
- Safe functional reactive programming through dependent types
- Functional automatic differentiation with dirac impulses
- EditorArrow: An arrow-based model for editor-based programming
- Fault-tolerant functional reactive programming (extended version)
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Causal commutative arrows
This page was built for software: Yampa
