Pages that link to "Item:Q338619"
From MaRDI portal
The following pages link to Abstract categorical semantics for resourceful functional reactive programming (Q338619):
Displaying 6 items.
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras (Q2848943) (← 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)
- Functional reactive types (Q4635639) (← links)
- (Q4995165) (← links)