The following pages link to Real-time FRP (Q5178005):
Displaying 5 items.
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Feasibility interval for the transactional event handlers of P-FRP (Q355499) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (Q2819680) (← links)
- Real-time MLton: A Standard ML runtime for real-time functional programs (Q5019014) (← links)