Pages that link to "Item:Q2942856"
From MaRDI portal
The following pages link to Higher-order functional reactive programming in bounded space (Q2942856):
Displaying 5 items.
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)
