Effect Handlers for C via Coroutines
Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, Sam Lindley
Abstract
Unless a licence is specified above, all rights (including copyright and moral rights) in this document are retained by the authors and/or the copyright holders. The express permission of the copyright holder must be obtained for any use of this material other than for purposes permitted by law.
•Users may freely distribute the URL that is used to identify this publication.
•Users may download and/or print one copy of the publication from the University of Birmingham research portal for the purpose of private study or non-commercial research.
•User may use extracts from the document in line with the concept of 'fair dealing' under the Copyright, Designs and Patents Act 1988 (?) •Users may not further distribute the material nor use it for the purposes of commercial gain.
Where a licence is displayed above, please note the terms and conditions of the licence govern your use of this document.
While the University of Birmingham exercises care and attention in making items available there are rare occasions when an item has been uploaded in error or has been deemed to be commercially or otherwise sensitive.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 112f9ad4-1f75-43c3-a2b6-db4e13f274b6Cited by top-tier papers2
- Handling the Selection MonadGordon D. Plotkin, Ningning XiePLDI 2025 · 1 citation
- Tracing Just-in-Time Compilation for Effects and HandlersMarcial Gaißert, Carl Friedrich Bolz-Tereick, Jonathan Immanuel BrachthäuserOOPSLA 2025
Builds on4
- Retrofitting effect handlers onto OCamlK. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly et al.PLDI 2021 · 56 citations
- Continuing WebAssembly with Effect HandlersLuna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen et al.OOPSLA 2023 · 20 citations
- High-level effect handlers in C++Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej PirógOOPSLA 2022 · 14 citations
- Efficient compilation of algebraic effect handlersGeorgios Karachalias, Filip Koprivec, Matija Pretnar, Tom SchrijversOOPSLA 2021 · 9 citations
Related papers
- A proof of the Erdös-Faber-Lovász conjecture: Algorithmic aspectsDong Yeap Kang, Tom Kelly, Daniela Kühn, Abhishek Methuku et al.FOCS 2021 · 2 citations
- Types Are Internal ∞-GroupoidsEric Finster, Antoine Allioux, Matthieu SozeauLICS 2021
- PLATYPUS: Software-based Power Side-Channel Attacks on x86Moritz Lipp, Andreas Kogler, David F. Oswald, Michael Schwarz et al.S&P 2021 · 242 citations
- SoK: Verifiability Notions for E-Voting ProtocolsVéronique Cortier, David Galindo, Ralf Küsters, Johannes Müller et al.S&P 2016 · 125 citations
- A Sound Understanding - An In-Situ Deployment of an Accessible Audio-Media Player with People Living with AphasiaFilip Bircanin, Alexandre Nevsky, Madeline N. Cruice, Ognjen Markovic et al.CHI 2026 · 1 citation
