The following pages link to Functional reactive types (Q4635639):
Displaying 7 items.
- Feasibility interval for the transactional event handlers of P-FRP (Q355499) (← links)
- Dependent vector types for data structuring in multirate Faust (Q2275532) (← links)
- Type-directed bounding of collections in reactive programs (Q2287091) (← links)
- Typing Weak MSOL Properties (Q2949449) (← links)
- Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming (Q3178285) (← links)
- Functional reactive programming with liveness guarantees (Q5244803) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)