2 papers
cs.PL2026
Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects
Frédéric Dabrowski
Synchronous reactive programming gives reactive systems a deterministic temporal structure by organizing execution into logical instants and signal-based communication. Boussinot's…
cs.PL2025
Functional Reactive Programming with Effects, A More Permissive Approach
Frédéric Dabrowski, Jordan Ischard
We introduce a functional reactive programming language that extends WORMHOLES, an enhancement of YAMPA with support for effects. Our proposal relaxes the constraint in WORMHOLES t…