Wed 7 Nov 2018 10:30 - 10:52 at Studio 1 - Types and Effects Chair(s): Colin Gordon

Algebraic effects are a program structuring paradigm with rising popularity in the functional programming language community. Algebraic effects are less wide-spread in the context of imperative, object oriented languages. We present a library to program with algebraic effects in Java. Our library 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 algebraic effects in terms of delimited continuations.

Wed 7 Nov

splash-2018-OOPSLA
10:30 - 12:00: OOPSLA - Types and Effects at Studio 1
Chair(s): Colin GordonDrexel University
splash-2018-OOPSLA154158300000010:30 - 10:52
Talk
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
splash-2018-OOPSLA154158435000010:52 - 11:15
Talk
Fabian MuehlboeckCornell University, Ross TateCornell University
Link to publication DOI Pre-print
splash-2018-OOPSLA154158570000011:15 - 11:37
Talk
Francesco Zappa NardelliInria, Julia BelyakovaNortheastern University, USA, Artem PelenitsynNortheastern University, Benjamin ChungNortheastern University, Jeff BezansonJulia Computing, Jan VitekNortheastern University
splash-2018-OOPSLA154158705000011:37 - 12:00
Talk
Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI File Attached