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.
|
Year | DOI | Venue |
---|---|---|
2018 | 10.1145/3276481 | Proceedings of the ACM on Programming Languages |
Keywords | Field | DocType |
algebraic effects,bytecode transformation,delimited continuations,effect handlers,java,jvm | Programming language,Computer science | Journal |
Volume | Issue | ISSN |
2 | OOPSLA | 2475-1421 |
Citations | PageRank | References |
0 | 0.34 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jonathan Immanuel Brachthäuser | 1 | 7 | 3.18 |
Philipp Schuster | 2 | 5 | 3.15 |
Klaus Ostermann | 3 | 457 | 23.97 |