Max-Planck-Institut für Informatik
max planck institut
informatik
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
Language:English
Date, Time and Location
Date:Friday, 29 June 2018
Time:14:00
Duration:90 Minutes
Location:Saarbrücken
Building:G26
Room:111
Abstract
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)

Contact
Name(s):Annika Meiser
Phone:068193039105
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
Note:
Attachments, File(s):

Created:
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.