Paper - A General Fine-Grained Reduction Theory for Effect Handlers
· 4 min read
A General Fine-Grained Reduction Theory for Effect Handlers (Sieczkowski et al. 2023) presents a theory of effect handlers that can be used for term rewriting systems, and provides a few different abstract machines for effect handlers.
A significant contribution of this paper I believe is that it provides a top down small-step semantics for effect handlers, which is a bit unusual.
Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki. “A General Fine-Grained Reduction Theory for Effect Handlers.” Proceedings of the ACM on Programming Languages 7 (ICFP): 511–540. 2023. Publisher: ACM New York, NY, USA.