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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Types and EffectsOOPSLA at Studio 1
Chair(s): Colin GordonDrexel University
10:30 - 10:52
Talk
Effect Handlers for the Masses
OOPSLA
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
10:52 - 11:15
Talk
Empowering Union and Intersection Types with Integrated Subtyping
OOPSLA
Fabian MuehlboeckCornell University, Ross TateCornell University
Link to publication DOI Pre-print
11:15 - 11:37
Talk
Julia Subtyping: a Rational Reconstruction
OOPSLA
Francesco Zappa NardelliInria, Julia BelyakovaNortheastern University, USA, Artem PelenitsynNortheastern University, Benjamin ChungNortheastern University, Jeff BezansonJulia Computing, Jan VitekNortheastern University
DOI Media Attached
11:37 - 12:00
Talk
Scopes as Types
OOPSLA
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