Affiliation:
1. University of Tübingen, Germany
Abstract
Effect handlers are a program structuring paradigm with rising popularity in the functional programming language community and can express many advanced control flow abstractions. We present the first implementation of effect handlers for Java - an imperative, object oriented programming language. Our framework consists of three core components: A type selective CPS transformation via JVM bytecode transformation, an implementation of delimited continuations on top of the bytecode transformation and finally a library for effect handlers in terms of delimited continuations.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Algebraic Effects Meet Hoare Logic in Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05
2. Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems;Proceedings of the ACM on Programming Languages;2023-10-16
3. High-level effect handlers in C++;Proceedings of the ACM on Programming Languages;2022-10-31
4. A typed continuation-passing translation for lexical effect handlers;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back;Proceedings of the ACM on Programming Languages;2022-04-29