{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:21Z","timestamp":1775054361257,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["22300005, 25540001, 15H02681"],"award-info":[{"award-number":["22300005, 25540001, 15H02681"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,30]]},"DOI":"10.1145\/2804302.2804319","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T10:09:20Z","timestamp":1440410960000},"page":"94-105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":65,"title":["Freer monads, more extensible effects"],"prefix":"10.1145","author":[{"given":"Oleg","family":"Kiselyov","sequence":"first","affiliation":[{"name":"Tohoku University, Japan"}]},{"given":"Hiromi","family":"Ishii","sequence":"additional","affiliation":[{"name":"University of Tsukuba, Japan"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"37","volume":"15","author":"Apfelmus H.","year":"2010","unstructured":"H. Apfelmus . The Operational monad tutorial. The Monad.Reader , 15 : 37 \u2013 56 , 2010 . H. Apfelmus. The Operational monad tutorial. The Monad.Reader, 15:37\u201356, 2010.","journal-title":"The Monad.Reader"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633628.2633635"},{"key":"e_1_3_2_1_4_1","volume-title":"Programming with algebraic effects and handlers. arXiv:1203.1539 {cs.PL}","author":"Bauer A.","year":"2012","unstructured":"A. Bauer and M. Pretnar . Programming with algebraic effects and handlers. arXiv:1203.1539 {cs.PL} , 2012 . A. Bauer and M. Pretnar. Programming with algebraic effects and handlers. arXiv:1203.1539 {cs.PL}, 2012."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503780"},{"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","volume-title":"Springer","author":"Cartwright R.","year":"1994","unstructured":"R. Cartwright and M. Felleisen . Extensible denotational language specifications. In M. Hagiya and J. C. Mitchell, editors, Theor. Aspects of Comp. Soft., number 789 in LNCS, pages 244\u2013272 . Springer , 1994 . R. Cartwright and M. Felleisen. Extensible denotational language specifications. In M. Hagiya and J. C. Mitchell, editors, Theor. Aspects of Comp. Soft., number 789 in LNCS, pages 244\u2013272. Springer, 1994."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005192"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680600596X"},{"key":"e_1_3_2_1_11_1","volume-title":"Haskell Symposium","year":"2013","unstructured":"Haskell. Haskell Symposium , 2013 . ACM. Haskell. Haskell Symposium, 2013. ACM."},{"key":"e_1_3_2_1_12_1","volume-title":"Haskell Symposium","year":"2014","unstructured":"Haskell. Haskell Symposium , 2014 . ACM. Haskell. Haskell Symposium, 2014. ACM."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351258"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647698.734154"},{"key":"e_1_3_2_1_15_1","unstructured":"ICFP. ICFP \u201913 2013. ACM Press.  ICFP. ICFP \u201913 2013. ACM Press."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328475"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500590"},{"key":"e_1_3_2_1_18_1","unstructured":"pages 145\u2013158. pages 145\u2013158."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29822-6_15"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411288"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086390"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503791"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159840"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581492"},{"key":"e_1_3_2_1_26_1","volume-title":"Technical Report 95\/16, Department of Computer Science","author":"Naish L.","year":"1995","unstructured":"L. Naish . Pruning in logic programming. Technical Report 95\/16, Department of Computer Science , University of Melbourne , 1995 . L. Naish. Pruning in logic programming. Technical Report 95\/16, Department of Computer Science, University of Melbourne, 1995."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500602"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680300488X"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.178068"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633360"},{"key":"e_1_3_2_1_33_1","volume-title":"MPC 2015, 2015","author":"Wu N.","year":"2015","unstructured":"N. Wu and T. Schrijvers . Fusion for free: Efficient algebraic effect handlers . In MPC 2015, 2015 . URL \/Research\/papers\/mpc 2015 . N. Wu and T. Schrijvers. Fusion for free: Efficient algebraic effect handlers. In MPC 2015, 2015. URL \/Research\/papers\/mpc2015."},{"key":"e_1_3_2_1_34_1","unstructured":"pdf.  pdf."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633358"}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","location":"Vancouver BC Canada","acronym":"ICFP'15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804302.2804319","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2804302.2804319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:07:10Z","timestamp":1750208830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804302.2804319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":35,"alternative-id":["10.1145\/2804302.2804319","10.1145\/2804302"],"URL":"https:\/\/doi.org\/10.1145\/2804302.2804319","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2887747.2804319","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}