Effect Handlers for the Masses

by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann

In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2018.

This publication is related to the Effects research project.

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.

Citation as BibTeX

@inproceedings{brachthaeuser18effect,
  author = {Brachthäuser, Jonathan and Schuster, Philipp and Ostermann, Klaus},
  title = {Effect Handlers for the Masses},
  booktitle = {Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)},
  year = {2018},
  publisher = {ACM Press},
  location = {Boston, United States},
  doi = {10.1145/3276481}
}

News

November 7

Presentation at OOPSLA 2018

Jonathan Brachthäuser
AlumniJonathan Immanuel Brachthäuser presents the paper Effect Handlers for the Masses at the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) in Boston, MA, USA.

Dagstuhl Seminar on Domain-Specific Languages

Jonathan Brachthäuser
AlumniJonathan Immanuel Brachthäuser attends the Dagstuhl-Seminar on “Algebraic Effect Handlers go Mainstream” from April 22 to 27, 2018.