ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Tue 14 Oct 2025 13:40 - 14:05 at Peony West - It’s All a Matter of Interpretation! Chair(s): Peter Thiemann

This paper investigates algebraic effects and handlers from the
viewpoint of well-established work on the four delimited continuation
constructs known as shift, control, shift0, and control0.
The whole development follows what Danvy and his colleagues have laid
out.
We start by defining two definitional interpreters for algebraic
effects and handlers based on trails as introduced for dynamic
continuation-passing style translation and metacontinuations as
introduced for a hierarchy of control operators.
Once definitional interpreters are obtained, we transform them
using well-known meaning-preserving program translations to obtain
abstract machines for algebraic effects and handlers.
We also derive monomorphic type systems for algebraic effects and
handlers by assigning types to the definitional interpreters,
ones similar in spirit to the type system for shift and reset with
answer type modification.
The resulting semantic artifacts are close to those for delimited
continuation constructs, enabling cross-fertilization between
delimited continuation constructs and algebraic effects and handlers.

Tue 14 Oct

Displayed time zone: Perth change

13:40 - 15:20
It’s All a Matter of Interpretation!OlivierFest at Peony West
Chair(s): Peter Thiemann University of Freiburg
13:40
25m
Talk
Defining Algebraic Effects and Handlers via Trails and Metacontinuationsfestschrift
OlivierFest
Kenichi Asai Ochanomizu University, Maika Fujii Ochanomizu University
DOI
14:05
25m
Talk
A Compositional Semantics for eval in Schemefestschrift
OlivierFest
Peter D. Mosses Delft University of Technology; Swansea University
DOI File Attached
14:30
25m
Talk
Generic Reduction-Based Interpretersfestschrift
OlivierFest
Casper Bach University of Southern Denmark
DOI
14:55
25m
Talk
Safe-for-Space Linked Environmentsfestschrift
OlivierFest
Matthew Flatt University of Utah, Robert Bruce Findler Northwestern University
DOI