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
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Associated Effects: Flexible Abstractions for Effectful Programming;Proceedings of the ACM on Programming Languages;2024-06-20
2. Algebraic Effects Meet Hoare Logic in Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05
3. Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems;Proceedings of the ACM on Programming Languages;2023-10-16
4. High-level effect handlers in C++;Proceedings of the ACM on Programming Languages;2022-10-31
5. 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