The following pages link to (Q4995165):
Displaying 3 items.
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Higher-order functional reactive programming in bounded space (Q2942856) (← links)
- Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming (Q3178285) (← links)