This program is tentative and subject to change.

Fri 28 Aug 2026 11:30 - 12:00 at IP137 Kelley - Morning Session 2

Synchronous reactive programming gives reactive systems a deterministic temporal structure by organizing execution into logical instants and signal-based communication. The lineage from Boussinot’s synchronous reactive model to ReactiveML extends this discipline with cooperative threads, broadcast signals, dynamic processes, and higher-order functional programming. We present Tempo, a synchronous reactive programming library for OCaml 5 built on algebraic effects and deep handlers. The library reconstructs the core runtime mechanisms exposed as ReactiveML constructs as an ordinary OCaml 5 library rather than as a dedicated language extension: effect operations mark reactive suspension points, and the handler turns captured continuations into scheduler tasks. We evaluate this design through a comparative study with ReactiveML.

This program is tentative and subject to change.

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Morning Session 2LOPSTR+PPDP at IP137 Kelley
11:00
30m
Talk
Elements of Logic Programming in a Concatenative Functional LanguageRemote
LOPSTR+PPDP
Attila Egri-Nagy Akita International University
11:30
30m
Talk
Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 EffectsRemoteRecorded
LOPSTR+PPDP
Frédéric Dabrowski Université d'Orléans
12:00
30m
Talk
Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection
LOPSTR+PPDP
Kyle Dewey California State University, Northridge, Mehmet Emre University of San Francisco
Hide past events