Write a Blog >>
Thu 22 Nov 2018 10:00 - 10:25 at Boothzaal - 1 Chair(s): Eelco Visser

Effect handling is a way to structure and scope side-effects which is gaining popularity as an alternative to monads in purely functional programming languages. Languages with support for effect handling allow the programmer to define idioms for state, exception handling, asynchrony, backtracking etc. from within the language. Functional programming languages, however, operate within a closed world assumption, which prohibits certain patterns of polymorphism well-known from object-oriented languages. In this paper we introduce JEff, an object-oriented programming language with native support for effect handling, to provide first answers to the question what it would mean to integrate OO programming with effect handling. We illustrate how user defined effects could benefit from interface polymorphism, and present its runtime semantics and type system.

Thu 22 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:40
1PLNL at Boothzaal
Chair(s): Eelco VisserDelft University of Technology
10:00
25m
Talk
JEff: Objects for Effect
PLNL
Pablo InostrozaCWI, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
10:25
25m
Talk
Sound and Reusable Components for Abstract Interpretation
PLNL
Sven KeidelDelft University of Technology, Netherlands, Sebastian ErdwegDelft University of Technology, Netherlands
10:50
25m
Talk
High-performance parallel arrays for Haskell
PLNL
Trevor L. McDonellUtrecht University
11:15
25m
Talk
Reversible Session-Based Concurrency, and its Haskell Implementation
PLNL
Folkert de VriesUniversity of Groningen, Jorge A. PĂ©rezUniversity of Groningen, The Netherlands