{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T08:03:31Z","timestamp":1790928211132,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,18]],"date-time":"2016-09-18T00:00:00Z","timestamp":1474156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["EP\/L01503X\/1,EP\/K034413\/1"],"award-info":[{"award-number":["EP\/L01503X\/1,EP\/K034413\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,18]]},"DOI":"10.1145\/2976022.2976033","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T08:40:09Z","timestamp":1472200809000},"page":"15-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":60,"title":["Liberating effects with rows and handlers"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Hillerstr\u00f6m","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Lindley","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680900728X"},{"key":"e_1_3_2_1_2_1","volume-title":"An effect system for algebraic effects and handlers. Logical Methods in Computer Science, 10(4)","author":"Bauer A.","year":"2014","unstructured":"A. Bauer and M. Pretnar . An effect system for algebraic effects and handlers. Logical Methods in Computer Science, 10(4) , 2014 . A. Bauer and M. Pretnar. An effect system for algebraic effects and handlers. Logical Methods in Computer Science, 10(4), 2014."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.02.001"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_20"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/1967631"},{"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.1145\/231379.231395"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","first-page":"296","volume-title":"Formal Methods for Components and Objects, 5th International Symposium, FMCO","author":"Cooper E.","year":"2006","unstructured":"E. Cooper , S. Lindley , P. Wadler , and J. Yallop . Links: Web programming without tiers . In F. S. de Boer, M. M. Bonsangue, S. Graf, and W. P. de Roever, editors, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006 , Amsterdam, The Netherlands , November 7-10, 2006, Revised Lectures , volume 4709 of Lecture Notes in Computer Science , pages 266\u2013 296 . Springer, 2006. E. Cooper, S. Lindley, P. Wadler, and J. Yallop. Links: Web programming without tiers. In F. S. de Boer, M. M. Bonsangue, S. Graf, and W. P. de Roever, editors, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, volume 4709 of Lecture Notes in Computer Science, pages 266\u2013296. Springer, 2006."},{"key":"e_1_3_2_1_9_1","volume-title":"OCaml Workshop","author":"Dolan S.","year":"2015","unstructured":"S. Dolan , L. White , K. Sivaramakrishnan , J. Yallop , and A. Madhavapeddy . Effective concurrency through algebraic effects . OCaml Workshop , September 2015 . S. Dolan, L. White, K. Sivaramakrishnan, J. Yallop, and A. Madhavapeddy. Effective concurrency through algebraic effects. OCaml Workshop, September 2015."},{"key":"e_1_3_2_1_10_1","volume-title":"The Proceedings of the Conference on Formal Description of Programming Concepts III","author":"Felleisen M.","year":"1987","unstructured":"M. Felleisen and D. P. Friedman . Control operators, the SECDmachine, and the \u03bb-calculus . In The Proceedings of the Conference on Formal Description of Programming Concepts III , Ebberup, Denmark, pages 193\u2013217. Elsevier , 1987 . M. Felleisen and D. P. Friedman. Control operators, the SECDmachine, and the \u03bb-calculus. In The Proceedings of the Conference on Formal Description of Programming Concepts III, Ebberup, Denmark, pages 193\u2013217. Elsevier, 1987."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_12_1","volume-title":"Handlers for algebraic effects in Links. Master\u2019s thesis","author":"Hillerstr\u00f6m D.","year":"2015","unstructured":"D. Hillerstr\u00f6m . Handlers for algebraic effects in Links. Master\u2019s thesis , The University of Edinburgh , Scotland , 2015 . D. Hillerstr\u00f6m. Handlers for algebraic effects in Links. Master\u2019s thesis, The University of Edinburgh, Scotland, 2015."},{"key":"e_1_3_2_1_13_1","volume-title":"ML Workshop","author":"Hillerstr\u00f6m D.","year":"2016","unstructured":"D. Hillerstr\u00f6m , S. Lindley , and K. Sivaramakrishnan . Compiling Links effect handlers to the OCaml backend . ML Workshop , 2016 . D. Hillerstr\u00f6m, S. Lindley, and K. Sivaramakrishnan. Compiling Links effect handlers to the OCaml backend. ML Workshop, 2016."},{"key":"e_1_3_2_1_14_1","volume-title":"Compiling Links server-side code. Bachelor thesis","author":"Holmes S.","year":"2009","unstructured":"S. Holmes . Compiling Links server-side code. Bachelor thesis , The University of Edinburgh , 2009 . S. Holmes. Compiling Links server-side code. Bachelor thesis, The University of Edinburgh, 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500590"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804319"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503791"},{"key":"e_1_3_2_1_18_1","first-page":"126","volume-title":"Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP","volume":"153","author":"Leijen D.","year":"2014","unstructured":"D. Leijen . Koka : Programming with row polymorphic effect types. In P. Levy and N. Krishnaswami, editors , Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP , Grenoble, France , April 2014 , volume 153 of EPTCS, pages 100\u2013 126 , 2014. D. Leijen. Koka: Programming with row polymorphic effect types. In P. Levy and N. Krishnaswami, editors, Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP, Grenoble, France, April 2014, volume 153 of EPTCS, pages 100\u2013126, 2014."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349230"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00088-9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103798"},{"key":"e_1_3_2_1_23_1","unstructured":"S. Lindley C. McBride and C. McLaughlin. Do be do be do.  S. Lindley C. McBride and C. McLaughlin. Do be do be do."},{"key":"e_1_3_2_1_24_1","unstructured":"C. McBride. Shonky 2016. https:\/\/github.com\/pigworker\/ shonky.  C. McBride. Shonky 2016. https:\/\/github.com\/pigworker\/ shonky."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804320"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863596"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633368"},{"key":"e_1_3_2_1_29_1","volume-title":"4th International Conference, FOSSACS Genova, Italy","volume":"2030","author":"Plotkin G. D.","year":"2001","unstructured":"G. D. Plotkin and J. Power . Adequacy for algebraic effects. In F. Honsell and M. Miculan, editors, Foundations of Software Science and Computation Structures , 4th International Conference, FOSSACS Genova, Italy , April 2-6, 2001 , Proceedings , volume 2030 of Lecture Notes in Computer Science, pages 1\u201324. Springer, 2001. G. D. Plotkin and J. Power. Adequacy for algebraic effects. In F. Honsell and M. Miculan, editors, Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS Genova, Italy, April 2-6, 2001, Proceedings, volume 2030 of Lecture Notes in Computer Science, pages 1\u201324. Springer, 2001."},{"key":"e_1_3_2_1_30_1","volume-title":"Handling algebraic effects. Logical Methods in Computer Science, 9(4)","author":"Plotkin G. D.","year":"2013","unstructured":"G. D. Plotkin and M. Pretnar . Handling algebraic effects. Logical Methods in Computer Science, 9(4) , 2013 . G. D. Plotkin and M. Pretnar. Handling algebraic effects. Logical Methods in Computer Science, 9(4), 2013."},{"key":"e_1_3_2_1_31_1","volume-title":"Inferring algebraic effects. Logical Methods in Computer Science, 10(3)","author":"Pretnar M.","year":"2014","unstructured":"M. Pretnar . Inferring algebraic effects. Logical Methods in Computer Science, 10(3) , 2014 . M. Pretnar. Inferring algebraic effects. Logical Methods in Computer Science, 10(3), 2014."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.12.003"},{"key":"e_1_3_2_1_33_1","volume-title":"MIT Press","author":"R\u00e9my D.","year":"1994","unstructured":"D. R\u00e9my . Theoretical aspects of object-oriented programming. chapter Type Inference for Records in Natural Extension of ML, pages 67\u2013 95 . MIT Press , Cambridge, MA, USA , 1994 . D. R\u00e9my. Theoretical aspects of object-oriented programming. chapter Type Inference for Records in Natural Extension of ML, pages 67\u2013 95. MIT Press, Cambridge, MA, USA, 1994."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_35_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/978-3-319-28194-0","volume-title":"Mathematics of Program Construction - 12th International Conference, MPC","author":"Wu N.","year":"2015","unstructured":"N. Wu and T. Schrijvers . Fusion for free - efficient algebraic effect handlers . In R. Hinze and J. Voigtl\u00e4nder, editors, Mathematics of Program Construction - 12th International Conference, MPC 2015 , K\u00f6nigswinter, Germany , 2015. Proceedings , volume 9129 of Lecture Notes in Computer Science , pages 302\u2013 322 . Springer, 2015. N. Wu and T. Schrijvers. Fusion for free - efficient algebraic effect handlers. In R. Hinze and J. Voigtl\u00e4nder, editors, Mathematics of Program Construction - 12th International Conference, MPC 2015, K\u00f6nigswinter, Germany, 2015. Proceedings, volume 9129 of Lecture Notes in Computer Science, pages 302\u2013322. Springer, 2015."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633358"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 1st International Workshop on Type-Driven Development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976022.2976033","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2976022.2976033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:56:16Z","timestamp":1750208176000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976022.2976033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,18]]},"references-count":37,"alternative-id":["10.1145\/2976022.2976033","10.1145\/2976022"],"URL":"https:\/\/doi.org\/10.1145\/2976022.2976033","relation":{},"subject":[],"published":{"date-parts":[[2016,9,18]]},"assertion":[{"value":"2016-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}