2026-07-26T05:31:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10537 2024-03-06T10:46:10Z ddc:004 open_access

Typed Equivalence of Effect Handlers and Delimited Control Piróg, Maciej Polesiuk, Piotr Sieczkowski, Filip type-and-effect systems algebraic effects delimited control macro expressibility It is folklore that effect handlers and delimited control operators are closely related: recently, this relationship has been proved in an untyped setting for deep handlers and the shift_0 delimited control operator. We positively resolve the conjecture that in an appropriately polymorphic type system this relationship can be extended to the level of types, by identifying the necessary forms of polymorphism, thus extending the definability result to the typed context. In the process, we identify a novel and potentially interesting type system feature for delimited control operators. Moreover, we extend these results to substantiate the folklore connection between shallow handlers and control_0 flavour of delimited control, both in an untyped and typed settings. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Maciej Piróg and Piotr Polesiuk and Filip Sieczkowski 2019 Is Part Of LIPIcs, Volume 131, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSCD.2019.30 urn:nbn:de:0030-drops-105376 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2019.30 eng https://creativecommons.org/licenses/by/3.0/legalcode