{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:11:56Z","timestamp":1775873516334,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T00:00:00Z","timestamp":1380067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,9,25]]},"DOI":"10.1145\/2500365.2500590","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T09:13:17Z","timestamp":1380100397000},"page":"145-158","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":91,"title":["Handlers in action"],"prefix":"10.1145","author":[{"given":"Ohad","family":"Kammar","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}]},{"given":"Sam","family":"Lindley","sequence":"additional","affiliation":[{"name":"University of Strathclyde, Glasgow, United Kingdom"}]},{"given":"Nicolas","family":"Oury","sequence":"additional","affiliation":[{"name":"n\/a, n\/a, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2013,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9006-0"},{"key":"e_1_3_2_1_2_1","volume-title":"Programming with algebraic effects and handlers. phCoRR, abs\/1203.1539","author":"Bauer A.","year":"2012","unstructured":"A. Bauer and M. Pretnar . Programming with algebraic effects and handlers. phCoRR, abs\/1203.1539 , 2012 . A. Bauer and M. Pretnar. Programming with algebraic effects and handlers. phCoRR, abs\/1203.1539, 2012."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004099"},{"key":"e_1_3_2_1_4_1","volume-title":"Monads and effects. In phAPPSEM","author":"Benton N.","year":"2000","unstructured":"N. Benton , J. Hughes , and E. Moggi . Monads and effects. In phAPPSEM 2000 . Springer-Verlag , 2002. N. Benton, J. Hughes, and E. Moggi. Monads and effects. In phAPPSEM 2000. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_20"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500581"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796812000354"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73576"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292557"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706354"},{"key":"e_1_3_2_1_12_1","volume-title":"The mtl package (2.1.2)","author":"Gill A.","year":"2012","unstructured":"A. Gill . The mtl package (2.1.2) , 2012 .\\ http:\/\/hackage.haskell.org\/package\/mtl. A. Gill. The mtl package (2.1.2), 2012.\\ http:\/\/hackage.haskell.org\/package\/mtl."},{"key":"e_1_3_2_1_13_1","volume-title":"pipes-2.5: Faster and slimmer","author":"Gonzalez G.","year":"2012","unstructured":"G. Gonzalez . pipes-2.5: Faster and slimmer , 2012 .\\ http:\/\/www.haskellforall.com\/2012\/10\/pipes-25-faster-and-slimmer.html. G. Gonzalez. pipes-2.5: Faster and slimmer, 2012.\\ http:\/\/www.haskellforall.com\/2012\/10\/pipes-25-faster-and-slimmer.html."},{"key":"e_1_3_2_1_14_1","volume-title":"The pipes package (3.2.0)","author":"Gonzalez G.","year":"2013","unstructured":"G. Gonzalez . The pipes package (3.2.0) , 2013 .\\ http:\/\/hackage.haskell.org\/package\/pipes. G. Gonzalez. The pipes package (3.2.0), 2013.\\ http:\/\/hackage.haskell.org\/package\/pipes."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.03.013"},{"key":"e_1_3_2_1_16_1","volume-title":"Monatron: An extensible monad transformer library. In phIFL","author":"Jaskelioff M.","year":"2008","unstructured":"M. Jaskelioff . Monatron: An extensible monad transformer library. In phIFL . Springer-Verlag , 2008 . M. Jaskelioff. Monatron: An extensible monad transformer library. In phIFL. Springer-Verlag, 2008."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.011"},{"key":"e_1_3_2_1_18_1","volume-title":"Functional programming with overloading and higher-order polymorphism. In phAdvanced Functional Programming","author":"Jones M. P.","year":"1995","unstructured":"M. P. Jones . Functional programming with overloading and higher-order polymorphism. In phAdvanced Functional Programming , 1995 . M. P. Jones. Functional programming with overloading and higher-order polymorphism. In phAdvanced Functional Programming, 1995."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103698"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.10.014"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29822-6_15"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349230"},{"key":"e_1_3_2_1_24_1","series-title":"phSemantics Structures in Computation","volume-title":"phCall-By-Push-Value: A Functional\/Imperative Synthesis","author":"Levy P. B.","year":"2004","unstructured":"P. B. Levy . phCall-By-Push-Value: A Functional\/Imperative Synthesis , volume 2 of phSemantics Structures in Computation . Springer , 2004 . P. B. Levy. phCall-By-Push-Value: A Functional\/Imperative Synthesis, volume 2 of phSemantics Structures in Computation. Springer, 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_26_1","volume-title":"Extensional rewriting with sums. In phTLCA","author":"Lindley S.","year":"2007","unstructured":"S. Lindley . Extensional rewriting with sums. In phTLCA . Springer-Verlag , 2007 . S. Lindley. Extensional rewriting with sums. In phTLCA. Springer-Verlag, 2007."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103798"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291211"},{"key":"e_1_3_2_1_29_1","unstructured":"C. McBride. Frank (0.3) 2012.\\ http:\/\/hackage.haskell.org\/package\/Frank.  C. McBride. Frank (0.3) 2012.\\ http:\/\/hackage.haskell.org\/package\/Frank."},{"key":"e_1_3_2_1_30_1","volume-title":"Computational lambda-calculus and monads. In phLICS","author":"Moggi E.","year":"1989","unstructured":"E. Moggi . Computational lambda-calculus and monads. In phLICS . IEEE Computer Society , 1989 . E. Moggi. Computational lambda-calculus and monads. In phLICS. IEEE Computer Society, 1989."},{"key":"e_1_3_2_1_31_1","volume-title":"The criterion package (0.8.0.0)","author":"O'Sullivan B.","year":"2013","unstructured":"B. O'Sullivan . The criterion package (0.8.0.0) , 2013 .\\ http:\/\/hackage.haskell.org\/package\/criterion. B. O'Sullivan. The criterion package (0.8.0.0), 2013.\\ http:\/\/hackage.haskell.org\/package\/criterion."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.29"},{"key":"e_1_3_2_1_33_1","volume-title":"Adequacy for algebraic effects. In phFoSSaCS","author":"Plotkin G. D.","year":"2001","unstructured":"G. D. Plotkin and J. Power . Adequacy for algebraic effects. In phFoSSaCS . Springer-Verlag , 2001 . G. D. Plotkin and J. Power. Adequacy for algebraic effects. In phFoSSaCS. Springer-Verlag, 2001."},{"key":"e_1_3_2_1_34_1","volume-title":"Notions of computation determine monads. In phFoSSaCS","author":"Plotkin G. D.","year":"2002","unstructured":"G. D. Plotkin and J. Power . Notions of computation determine monads. In phFoSSaCS . Springer-Verlag , 2002 . G. D. Plotkin and J. Power. Notions of computation determine monads. In phFoSSaCS. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_1_37_1","volume-title":"Type inference for records in a natural extension of ML","author":"R\u00e9my D.","year":"1993","unstructured":"(1993)}Remy93 D. R\u00e9my . Type inference for records in a natural extension of ML . In C. A. Gunter and J. C. Mitchell, editors, phTheoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. MIT Press , 1993 . (1993)}Remy93D. R\u00e9my. Type inference for records in a natural extension of ML. In C. A. Gunter and J. C. Mitchell, editors, phTheoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. MIT Press, 1993."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034781"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9010-4"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/636517.636528"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.103"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034778"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_44_1","unstructured":"S. Visscher. The effects package (0.2.2) 2012.\\ http:\/\/hackage.haskell.org\/package\/effects.  S. Visscher. The effects package (0.2.2) 2012.\\ http:\/\/hackage.haskell.org\/package\/effects."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70594-9_20"},{"key":"e_1_3_2_1_46_1","volume-title":"phAdvanced Functional Programming","author":"Wadler P.","year":"1995","unstructured":"P. Wadler . Monads for functional programming. In phAdvanced Functional Programming . Springer-Verlag , 1995 . P. Wadler. Monads for functional programming. In phAdvanced Functional Programming. Springer-Verlag, 1995."}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","location":"Boston Massachusetts USA","acronym":"ICFP'13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Northeastern University"]},"container-title":["Proceedings of the 18th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500590","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500365.2500590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:34:32Z","timestamp":1750217672000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,25]]},"references-count":46,"alternative-id":["10.1145\/2500365.2500590","10.1145\/2500365"],"URL":"https:\/\/doi.org\/10.1145\/2500365.2500590","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544174.2500590","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,9,25]]},"assertion":[{"value":"2013-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}