{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:36Z","timestamp":1772164056021,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"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.2500587","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T09:13:17Z","timestamp":1380100397000},"page":"319-330","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Modular monadic meta-theory"],"prefix":"10.1145","author":[{"given":"Benjamin","family":"Delaware","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}]},{"given":"Steven","family":"Keuchel","sequence":"additional","affiliation":[{"name":"Ghent University, Ghent, Belgium"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[{"name":"Ghent University, Ghent, Belgium"}]},{"given":"Bruno C.d.S.","family":"Oliveira","sequence":"additional","affiliation":[{"name":"The University of Hong Kong, Hong Kong, Hong Kong"}]}],"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\/11541868_4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036918.2036930"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047867"},{"key":"e_1_3_2_1_4_1","volume-title":"Programming with algebraic effects and handlers. CoRR, abs\/1203.1539","author":"Bauer Andrej","year":"2012","unstructured":"Andrej Bauer and Matija Pretnar . Programming with algebraic effects and handlers. CoRR, abs\/1203.1539 , 2012 . Andrej Bauer and Matija Pretnar. Programming with algebraic effects and handlers. CoRR, abs\/1203.1539, 2012."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90135-5"},{"key":"e_1_3_2_1_6_1","volume-title":"In Proceedings of the Conference on Category Theory and Computer Science, CCTCS '93","author":"Cenciarelli Pietro","year":"1993","unstructured":"Pietro Cenciarelli and Eugenio Moggi . A syntactic approach to modularity in denotational semantics . In In Proceedings of the Conference on Category Theory and Computer Science, CCTCS '93 , 1993 . Pietro Cenciarelli and Eugenio Moggi. A syntactic approach to modularity in denotational semantics. In In Proceedings of the Conference on Category Theory and Computer Science, CCTCS '93, 1993."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411226"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319847"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429094"},{"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.1016\/j.tcs.2006.12.027"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706354"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034777"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429071"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364532"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the Ninth Symposium on Trends in Functional Programming","author":"Hutton Graham","year":"2008","unstructured":"Graham Hutton and Diana Fulger . Reasoning about effects: Seeing the wood through the trees . In Proceedings of the Ninth Symposium on Trends in Functional Programming , 2008 . Graham Hutton and Diana Fulger. Reasoning about effects: Seeing the wood through the trees. In Proceedings of the Ninth Symposium on Trends in Functional Programming, 2008."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2044476.2044489"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.017"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500590"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743574"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/68389"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.014"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645391.651446"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1096.1100"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.008"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_13"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1739230.1739244"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/645736.666272"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/509043"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_1_39_1","first-page":"342","volume-title":"Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS '02","author":"Gordon","year":"2002","unstructured":"Gordon D. Plotkin and John Power. Notions of computation determine monads . In Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS '02 , pages 342 -- 356 . Springer-Verlag , 2002 . Gordon D. Plotkin and John Power. Notions of computation determine monads. In Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS '02, pages 342--356. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_40_1","first-page":"513","volume-title":"IFIP Congress","author":"Reynolds John C.","year":"1983","unstructured":"John C. Reynolds . Types, abstraction and parametric polymorphism . In IFIP Congress , pages 513 -- 523 , 1983 . John C. Reynolds. Types, abstraction and parametric polymorphism. In IFIP Congress, pages 513--523, 1983."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034781"},{"key":"e_1_3_2_1_42_1","volume-title":"Dept. of Computer Science","author":"Schrijvers Tom","year":"2010","unstructured":"Tom Schrijvers and Bruno C . d. S. Oliveira. The monad zipper. Report CW 595 , Dept. of Computer Science , K.U.Leuven , 2010 . Tom Schrijvers and Bruno C. d. S. Oliveira. The monad zipper. Report CW 595, Dept. of Computer Science, K.U.Leuven, 2010."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1859204.1859226"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863591"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.178068"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_47_1","first-page":"69","volume-title":"Proceedings 2nd Workshop on Generic Programming, WGP '00","author":"Uustalu Tarmo","year":"2000","unstructured":"Tarmo Uustalu and Varmo Vene . Coding recursion a la Mendler . In Proceedings 2nd Workshop on Generic Programming, WGP '00 , pages 69 -- 85 , 2000 . Tarmo Uustalu and Varmo Vene. Coding recursion a la Mendler. In Proceedings 2nd Workshop on Generic Programming, WGP '00, pages 69--85, 2000."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596577"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the Marktoberdorf Summer School on Program Design Calculi","author":"Wadler Philip","year":"1992","unstructured":"Philip Wadler . Monads for functional programming . In Proceedings of the Marktoberdorf Summer School on Program Design Calculi , August 1992 . Philip Wadler. Monads for functional programming. In Proceedings of the Marktoberdorf Summer School on Program Design Calculi, August 1992."},{"key":"e_1_3_2_1_51_1","volume-title":"Email","author":"Wadler Philip","year":"1998","unstructured":"Philip Wadler . The Expression Problem . Email , November 1998 . Discussion on the Java Genericity mailing list. Philip Wadler. The Expression Problem. Email, November 1998. Discussion on the Java Genericity mailing list."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"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.2500587","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500365.2500587","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.2500587"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,25]]},"references-count":50,"alternative-id":["10.1145\/2500365.2500587","10.1145\/2500365"],"URL":"https:\/\/doi.org\/10.1145\/2500365.2500587","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544174.2500587","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"}}]}}