On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control

Yannick Forster, Ohad Kammar, Sam Lindley +1

We compare the expressive power of three programming abstractions for user-defined computational effects: Bauer and Pretnar's effect handlers, Filinski's monadic reflection, and de…