@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    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/0002KLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2oELrt9Wek2dFJ7vE","bibbaseid":"forster-kammar-lindley-pretnar-ontheexpressivepowerofuserdefinedeffectseffecthandlersmonadicreflectiondelimitedcontrol-2017","author_short":["Forster, Y.","Kammar, O.","Lindley, S.","Pretnar, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Yannick"],"propositions":[],"lastnames":["Forster"],"suffixes":[]},{"firstnames":["Ohad"],"propositions":[],"lastnames":["Kammar"],"suffixes":[]},{"firstnames":["Sam"],"propositions":[],"lastnames":["Lindley"],"suffixes":[]},{"firstnames":["Matija"],"propositions":[],"lastnames":["Pretnar"],"suffixes":[]}],"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":"Sat, 09 Apr 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/pacmpl/0002KLP17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/pacmpl/0002KLP17,\n author = {Yannick Forster and\n Ohad Kammar and\n Sam Lindley and\n Matija Pretnar},\n title = {On the expressive power of user-defined effects: effect handlers,\n monadic reflection, delimited control},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {1},\n number = {{ICFP}},\n pages = {13:1--13:29},\n year = {2017},\n url = {https://doi.org/10.1145/3110257},\n doi = {10.1145/3110257},\n timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/pacmpl/0002KLP17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Forster, Y.","Kammar, O.","Lindley, S.","Pretnar, M."],"key":"DBLP:journals/pacmpl/0002KLP17","id":"DBLP:journals/pacmpl/0002KLP17","bibbaseid":"forster-kammar-lindley-pretnar-ontheexpressivepowerofuserdefinedeffectseffecthandlersmonadicreflectiondelimitedcontrol-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3110257"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/188/5682-2.bib","dataSources":["5syoA3E4Kc7JZpcPK"],"keywords":[],"search_terms":["expressive","power","user","defined","effects","effect","handlers","monadic","reflection","delimited","control","forster","kammar","lindley","pretnar"],"title":"On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control","year":2017}