BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:On the expressive power of user-defined effects: effect handlers\,
  monadic reflection\, delimited control - Sam Lindley\, University of Edin
 burgh
DTSTART:20171201T140000Z
DTEND:20171201T150000Z
UID:TALK86631@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:We compare the expressive power of three programming abstracti
 ons for\nuser-defined computational effects: Plotkin and Pretnar's effect\
 nhandlers\, Filinski's monadic reflection\, and delimited control. This\nc
 omparison allows a precise discussion about the relative\nexpressiveness o
 f each programming abstraction. It also demonstrates\nthe sensitivity of t
 he relative expressiveness of user-defined effects\nto seemingly orthogona
 l language features.\n\nWe present each notion as an extension of a simply
 -typed core\nlambda-calculus with an effect type system. Using Felleisen's
  notion\nof a macro translation\, we show that these abstractions can\nmac
 ro-express each other\, providing we disregard types. Alas\, not all\nof t
 he translations are typeability-preserving. We show that if we add\nsuitab
 le notions of polymorphism to the core calculus and the\nextensions then t
 he translations can be adapted to preserve\ntypeability.\n\n(based on join
 t work with Yannick Forster\, Ohad Kammar\, and Matija\nPretnar)\n\nIf I h
 ave time I will also talk about how the translation of effect\nhandlers in
 to delimited control can be used to synthesise a CPS\ntranslation for effe
 ct handlers. Such a CPS translation is used in\npractice in the implementa
 tion of the Links web programming language\nin order to compile effect han
 dlers to JavaScript.\n\n(based on joint work with Bob Atkey\, Daniel Hille
 rström\, and KC\nSivaramakrishnan)
LOCATION:FW26
END:VEVENT
END:VCALENDAR