Defining Algebraic Effects and Handlers via Trails and Metacontinuationsfestschrift
This program is tentative and subject to change.
This paper investigates algebraic effects and handlers from the view point 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.
This program is tentative and subject to change.
Tue 14 OctDisplayed 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, Germany | ||
13:40 25mTalk | Defining Algebraic Effects and Handlers via Trails and Metacontinuationsfestschrift OlivierFest | ||
14:05 25mTalk | A Compositional Semantics for eval in Schemefestschrift OlivierFest Peter D. Mosses Swansea University and Delft University of Technology | ||
14:30 25mTalk | Generic Reduction-Based Interpretersfestschrift OlivierFest Casper Bach University of Southern Denmark | ||
14:55 25mTalk | Safe-for-Space Linked Environmentsfestschrift OlivierFest |