Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited continuations
Speaker:Sam Lindley
coming from:University of Edinburgh
Speakers Bio:
Event Type:SWS Colloquium
Visibility:SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Date, Time and Location
Date:Friday, 29 June 2018
Duration:90 Minutes
We compare the expressive power of three programming abstractions for user-defined computational effects: Plotkin and Pretnar’s

effect handlers, Filinski’s monadic reflection, and delimited control. This comparison allows a precise discussion about the
relative expressiveness of each programming abstraction. It also demonstrates the sensitivity of the relative expressiveness of
user-defined effects to seemingly orthogonal language features.

We present each notion as an extension of a simply-typed core lambda-calculus with an effect type system. Using Felleisen’s
notion of a macro translation, we show that these abstractions can macro-express each other, providing we disregard types.
Alas, not all of the translations are type-preserving; moreover, no alternative type-preserving macro translations exist. We show
that if we add suitable notions of polymorphism to the core calculus and its extensions then all of the translations can be
adapted to preserve typing.

(based on joint work with Yannick Forster, Ohad Kammar, and Matija Pretnar)

Name(s):Annika Meiser
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:YesTo Location:Saarbrücken
To Building:E1 5To Room:029
Meeting ID:
Tags, Category, Keywords and additional notes
Attachments, File(s):

Annika Meiser/MPI-SWS, 06/28/2018 10:11 AM
Last modified:
Uwe Brahm/MPII/DE, 06/29/2018 07:01 AM
  • Annika Meiser, 06/28/2018 10:26 AM -- Created document.