ICFP/SPLASH 2025 (series) / OlivierFest 2025 (series) / OlivierFest 2025 / Generic Reduction-Based Interpreters
Generic Reduction-Based Interpretersfestschrift
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 OctDisplayed time zone: Perth change
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 25mTalk | Defining Algebraic Effects and Handlers via Trails and Metacontinuationsfestschrift OlivierFest DOI | ||
14:05 25mTalk | A Compositional Semantics for eval in Schemefestschrift OlivierFest Peter D. Mosses Delft University of Technology; Swansea University DOI File Attached | ||
14:30 25mTalk | Generic Reduction-Based Interpretersfestschrift OlivierFest Casper Bach University of Southern Denmark DOI | ||
14:55 25mTalk | Safe-for-Space Linked Environmentsfestschrift OlivierFest DOI | ||
