Title
Effect handlers for the masses
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äuser173.18
Philipp Schuster253.15
Klaus Ostermann345723.97