Mon 24 Aug 2026 10:00 - 10:30 at IP137 Kelley - Morning Session 1

Effect handlers are a powerful programming construct allowing users to define and combine computational effects, such as cooperative concurrency. Effect systems statically track the effects that a program can perform. Traditional effect systems rely on effect variables to provide modular type signatures for higher-order functions. Recent work on modal effect types (Met) reduces, and often eliminates altogether, the need for effect variables via modalities. Alas, the standard way to define a higher-order fork operation whose child process is parametric in its effects is to extend Met with effect variables. We propose a small extension to Met, based on introducing an ordering on effects in effect contexts, that enables us to define a higher-order fork operation whose child process is parametric in its effects, without the need for any effect variables at all.

Mon 24 Aug

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

09:00 - 10:30
Morning Session 1HOPE at IP137 Kelley
09:00
30m
Talk
Teaching Effect Handlers in the WildFPW (Paris)Remote
HOPE
Jiří Beneš University of Tübingen
09:30
30m
Talk
Experience Report: Graph Rewriting with Lexical Effect HandlersFPW (Paris)Remote
HOPE
Marvin Borner University of Tübingen
10:00
30m
Talk
Higher-order fork, modallyFPW (Paris)Remote
HOPE
Aghilas Boussaa École normale supérieure - PSL, Wenhao Tang The University of Edinburgh, Sam Lindley University of Edinburgh