Scoped Effects as Parameterized Algebraic Theories

Sam Lindley, Cristina Matache*, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and axioms specify observably equivalent expressions. However, many useful programming features depend on additional mechanisms such as delimited scopes or dynamically allocated resources. Such mechanisms can be supported via extensions to algebraic effects including scoped effects and parameterized algebraic theories. We present a fresh perspective on scoped effects by translation into a variation of parameterized algebraic theories. The translation enables a new approach to equational reasoning for scoped effects and gives rise to an alternative characterization of monads in terms of generators and equations involving both scoped and algebraic operations. We demonstrate the power of our fresh perspective by way of equational characterizations of several known models of scoped effects.
Original languageEnglish
Title of host publicationProceedings of the 33rd European Symposium on Programming ESOP 2024
Number of pages19
ISBN (Electronic)978-3-031-57262-3
ISBN (Print)978-3-031-57261-6
Publication statusPublished - 5 Apr 2024
Event33rd European Symposium on Programming - Luxembourg City, Luxembourg
Duration: 6 Apr 202411 Apr 2024
Conference number: 33

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference33rd European Symposium on Programming
Abbreviated titleESOP 2024
CityLuxembourg City


Dive into the research topics of 'Scoped Effects as Parameterized Algebraic Theories'. Together they form a unique fingerprint.

Cite this