On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
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 without answer-type-modification. 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.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 29, 2017
- Source ID
- 10.1145/3110257
Entities
People
- Matija Pretnar
- Ohad Kammar
- Sam Lindley
- Yannick Forster
Organizations
- Air Force Office of Scientific Research
- Engineering and Physical Sciences Research Council
- Saarland University
- University of Edinburgh
- University of Ljubljana
- University of Oxford