The following pages link to Yampa (Q25595):
Displayed 9 items.
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Dynamic optimization for functional reactive programming using generalized algebraic data types (Q2936767) (← links)
- Safe functional reactive programming through dependent types (Q2936799) (← links)
- Causal commutative arrows and their optimization (Q2936800) (← links)
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (Q2936829) (← links)
- Causal commutative arrows (Q4918242) (← links)
- Fault-tolerant functional reactive programming (extended version) (Q5120226) (← links)
- Functional automatic differentiation with dirac impulses (Q5261273) (← links)
- EditorArrow: An arrow-based model for editor-based programming (Q5298793) (← links)