Yampa
From MaRDI portal
Software:25595
No author found.
Related Items (9)
EditorArrow: An arrow-based model for editor-based programming ⋮ 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 ⋮ Fault-tolerant functional reactive programming (extended version) ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change ⋮ Causal commutative arrows ⋮ Functional automatic differentiation with dirac impulses
This page was built for software: Yampa
