On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. Forster, Y., Kammar, O., Lindley, S., & Pretnar, M. Proc. ACM Program. Lang., 1(ICFP):13:1–13:29, 2017.
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control [link]Paper  doi  bibtex   
@article{DBLP:journals/pacmpl/0002KLP17,
  author    = {Yannick Forster and
               Ohad Kammar and
               Sam Lindley and
               Matija Pretnar},
  title     = {On the expressive power of user-defined effects: effect handlers,
               monadic reflection, delimited control},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {13:1--13:29},
  year      = {2017},
  url       = {https://doi.org/10.1145/3110257},
  doi       = {10.1145/3110257},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/0002KLP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0