On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
(pdf)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
International Conference on Functional Programming, ICFP 2017, Oxford, United Kingdom, September 3-9, 2017