{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:33Z","timestamp":1750221033239,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,27]],"date-time":"2018-09-27T00:00:00Z","timestamp":1538006400000},"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":[[2018,9,27]]},"DOI":"10.1145\/3240719.3241789","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T12:11:39Z","timestamp":1537272699000},"page":"51-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers"],"prefix":"10.1145","author":[{"given":"Daan","family":"Leijen","sequence":"first","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.02.001"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158096"},{"key":"e_1_3_2_1_3_1","unstructured":"Oliver Bra\u010devac Nada Amin Guido Salvaneschi Sebastian Erdweg Patrick Eugster and Mira Mezini. \u201cEffectful Reactive Programming.\u201d 2018. http:\/\/www.st.informatik.tu-darmstadt.de\/artifacts\/ corrl\/corrl_draft.pdf. Draft article.  Oliver Bra\u010devac Nada Amin Guido Salvaneschi Sebastian Erdweg Patrick Eugster and Mira Mezini. \u201cEffectful Reactive Programming.\u201d 2018. http:\/\/www.st.informatik.tu-darmstadt.de\/artifacts\/ corrl\/corrl_draft.pdf. Draft article."},{"volume-title":"International Conference on Object Oriented Programming Systems Languages & Applications. OOPSLA \u201918","year":"2018","author":"Brachtha\u00ebuser Jonathan Immanuel","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136000.3136007"},{"volume-title":"ML Workshop.","year":"2017","author":"Dolan Stephen","key":"e_1_3_2_1_6_1"},{"volume-title":"Proceedings of the Symposium on Trends in Functional Programming. TFP\u201917","year":"2017","author":"Dolan Stephen","key":"e_1_3_2_1_7_1"},{"volume-title":"OCaml Workshop.","year":"2015","author":"Dolan Stephen","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","unstructured":"Ben R. Gaster and Mark P. Jones. A Polymorphic Type System for Extensible Records and Variants. NOTTCS-TR-96-3. University of Nottingham. 1996.  Ben R. Gaster and Mark P. Jones. A Polymorphic Type System for Extensible Records and Variants. NOTTCS-TR-96-3. University of Nottingham. 1996."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976022.2976033"},{"key":"e_1_3_2_1_11_1","first-page":"29","article-title":"The Principal Type Scheme of an Object in Combinatory Logic","volume":"146","author":"Hindley J.R.","year":"1969","journal-title":"Trans. of the American Mathematical Society"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500590"},{"volume-title":"ML Workshop 2016","year":"2017","author":"Kiselyov Oleg","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258970"},{"volume-title":"Proceedings of the 2005 Symposium on Trends in Functional Programming, 297\u2013312","year":"2005","author":"Leijen Daan","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411245"},{"volume-title":"5th Workshop on Mathematically Structured Functional Programming.","year":"2014","author":"Leijen Daan","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","unstructured":"Daan Leijen. \u201cThe Koka Repository.\u201d 2016. https:\/\/github.com\/ koka-lang\/koka.  Daan Leijen. \u201cThe Koka Repository.\u201d 2016. https:\/\/github.com\/ koka-lang\/koka."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122975.3122977"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71237-6_17"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009872"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Daan Leijen. Structured Asynchrony with Algebraic Effects. {MSR-TR-2017-21}. Microsoft Research. May 2017.  Daan Leijen. Structured Asynchrony with Algebraic Effects. {MSR-TR-2017-21}. Microsoft Research. May 2017.","DOI":"10.1145\/3122975.3122977"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103798"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009897"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(4:23)2013"},{"volume-title":"Theoretical Aspects of Object-Oriented Programming, 67\u201395.","year":"1994","author":"R\u00e9my Didier","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","unstructured":"Martin Sulzmann. Designing Record Systems. YALEU\/DCS\/RR-1128. Yale University. Apr. 1997.  Martin Sulzmann. Designing Record Systems. YALEU\/DCS\/RR-1128. Yale University. Apr. 1997."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_35_1","unstructured":"Leo White. \u201cEffect Types for OCaml.\u201d Sep. 2016. https:\/\/github. com\/lpw25\/ocaml-typed-effects.  Leo White. \u201cEffect Types for OCaml.\u201d Sep. 2016. https:\/\/github. com\/lpw25\/ocaml-typed-effects."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633358"}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"St. Louis MO USA","acronym":"ICFP '18"},"container-title":["Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3240719.3241789","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3240719.3241789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:33Z","timestamp":1750207413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3240719.3241789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,27]]},"references-count":37,"alternative-id":["10.1145\/3240719.3241789","10.1145\/3240719"],"URL":"https:\/\/doi.org\/10.1145\/3240719.3241789","relation":{},"subject":[],"published":{"date-parts":[[2018,9,27]]},"assertion":[{"value":"2018-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}