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

Reduction-based interpreters are traditionally defined in terms of a one-step reduction function which systematically decomposes a term into a potential redex and context, contracts the redex, and recomposes it to construct the new term to be further reduced. While implementing such interpreters follows a systematic recipe, they often require interpreter engineers to write a substantial amount of code—much of it boilerplate. In this paper, we apply well-known techniques from generic programming to reduce boilerplate code in reduction-based interpreters.

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