Pages that link to "Item:Q2942856"
From MaRDI portal
The following pages link to Higher-order functional reactive programming in bounded space (Q2942856):
Displaying 12 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Type-directed bounding of collections in reactive programs (Q2287091) (← links)
- Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (Q2819680) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- (Q4995165) (← links)
- Functional reactive programming with liveness guarantees (Q5244803) (← links)
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (Q5302889) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)
- Reasonable space for the \(\lambda \)-calculus, logarithmically (Q6649482) (← links)