{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T13:51:01Z","timestamp":1770040261622,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T00:00:00Z","timestamp":1565222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","award":["PICT 2016-0464"],"award-info":[{"award-number":["PICT 2016-0464"]}]},{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2016\/23\/P\/ST6\/02217"],"award-info":[{"award-number":["2016\/23\/P\/ST6\/02217"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]},{"name":"H2020 Marie Sk?odowska-Curie Actions","award":["665778"],"award-info":[{"award-number":["665778"]}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/S028129\/1"],"award-info":[{"award-number":["EP\/S028129\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,8]]},"DOI":"10.1145\/3331545.3342595","type":"proceedings-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T20:51:45Z","timestamp":1564433505000},"page":"98-113","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Monad transformers and modular algebraic effects: what binds them together"],"prefix":"10.1145","author":[{"given":"Tom","family":"Schrijvers","sequence":"first","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Pir\u00f3g","sequence":"additional","affiliation":[{"name":"University of Wroc\u0142aw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Jaskelioff","sequence":"additional","affiliation":[{"name":"CIFASIS-CONICET, Argentina \/ National University of Rosario, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"An Effect System for Algebraic Effects and Handlers. Logical Methods in Computer Science 10, 4","author":"Bauer Andrej","year":"2014","unstructured":"Andrej Bauer and Matija Pretnar . 2014. An Effect System for Algebraic Effects and Handlers. Logical Methods in Computer Science 10, 4 ( 2014 ). Andrej Bauer and Matija Pretnar. 2014. An Effect System for Algebraic Effects and Handlers. Logical Methods in Computer Science 10, 4 (2014)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.02.001"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500581"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_1_5_1","volume-title":"Value Recursion in the Continuation Monad. (Jan","author":"Carlsson Magnus","year":"2003","unstructured":"Magnus Carlsson . 2003. Value Recursion in the Continuation Monad. (Jan . 2003 ). Unpublished note. http:\/\/www.carlssonia.org\/ogi\/mdocallcc.pdf. Magnus Carlsson. 2003. Value Recursion in the Continuation Monad. (Jan. 2003). Unpublished note. http:\/\/www.carlssonia.org\/ogi\/mdocallcc.pdf."},{"key":"e_1_3_2_1_6_1","volume-title":"CCTCS '93: Proceedings of the Conference on Category Theory and Computer Science.","author":"Cenciarelli Pietro","year":"1993","unstructured":"Pietro Cenciarelli and Eugenio Moggi . 1993 . A Syntactic Approach to Modularity in Denotational Semantics . In CCTCS '93: Proceedings of the Conference on Category Theory and Computer Science. Pietro Cenciarelli and Eugenio Moggi. 1993. A Syntactic Approach to Modularity in Denotational Semantics. In CCTCS '93: Proceedings of the Conference on Category Theory and Computer Science."},{"key":"e_1_3_2_1_7_1","volume-title":"OCaml Users and Developers Workshop","author":"Dolan Stephen","year":"2015","unstructured":"Stephen Dolan , Leo White , KC Sivaramakrishnan , Jeremy Yallop , and Anil Madhavapeddy . 2015 . Effective Concurrency through Algebraic Effects. (2015) . OCaml Users and Developers Workshop , September 2015, Vancouver, Canada. http:\/\/kcsrk.info\/papers\/effects_ocaml15.pdf. Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop, and Anil Madhavapeddy. 2015. Effective Concurrency through Algebraic Effects. (2015). OCaml Users and Developers Workshop, September 2015, Vancouver, Canada. http:\/\/kcsrk.info\/papers\/effects_ocaml15.pdf."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1256068141"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292557"},{"key":"e_1_3_2_1_10_1","volume-title":"Annual IEEE Symposium on Logic in Computer Science (LICS","author":"Marcelo","year":"2014","unstructured":"Marcelo P. Fiore and Sam Staton. 2014. Substitution, Jumps, and Algebraic Effects . In Annual IEEE Symposium on Logic in Computer Science (LICS 2014 ), Thomas A. Henzinger and Dale Miller (Eds.). IEEE Computer Society Press, 41:1-41:10. Marcelo P. Fiore and Sam Staton. 2014. Substitution, Jumps, and Algebraic Effects. In Annual IEEE Symposium on Logic in Computer Science (LICS 2014), Thomas A. Henzinger and Dale Miller (Eds.). IEEE Computer Society Press, 41:1-41:10."},{"key":"e_1_3_2_1_11_1","volume-title":"Delimited Control. Proceedings of the ACM on Programming Languages 1, ICFP","author":"Forster Yannick","year":"2017","unstructured":"Yannick Forster , Ohad Kammar , Sam Lindley , and Matija Pretnar . 2017 . On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection , Delimited Control. Proceedings of the ACM on Programming Languages 1, ICFP (2017), 13:1-13:29. Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar. 2017. On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. Proceedings of the ACM on Programming Languages 1, ICFP (2017), 13:1-13:29."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034777"},{"key":"e_1_3_2_1_13_1","volume-title":"OCaml Workshop.","author":"Hillerstr\u00f6m D.","unstructured":"D. Hillerstr\u00f6m , S. Lindley , and K. Sivaramakrishnan . 2016. Compiling Links Effect Handlers to the OCaml Backend . In OCaml Workshop. D. Hillerstr\u00f6m, S. Lindley, and K. Sivaramakrishnan. 2016. Compiling Links Effect Handlers to the OCaml Backend. In OCaml Workshop."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003500"},{"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":"18th European Symposium on Programming (ESOP","author":"Jaskelioff Mauro","year":"2009","unstructured":"Mauro Jaskelioff . 2009 . Modular Monad Transformers. In Programming Languages and Systems , 18th European Symposium on Programming (ESOP 2009), Giuseppe Castagna (Ed.). 64-79. Mauro Jaskelioff. 2009. Modular Monad Transformers. In Programming Languages and Systems, 18th European Symposium on Programming (ESOP 2009), Giuseppe Castagna (Ed.). 64-79."},{"key":"e_1_3_2_1_17_1","volume-title":"Monatron: An Extensible Monad Transformer Library. In Implementation and Application of Functional Languages (LNCS)","author":"Jaskelioff Mauro","year":"2011","unstructured":"Mauro Jaskelioff . 2011 . Monatron: An Extensible Monad Transformer Library. In Implementation and Application of Functional Languages (LNCS) , Vol. 5836 . Springer , 233-248. Mauro Jaskelioff. 2011. Monatron: An Extensible Monad Transformer Library. In Implementation and Application of Functional Languages (LNCS), Vol. 5836. Springer, 233-248."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.011"},{"key":"e_1_3_2_1_19_1","volume-title":"A Representation Theorem for Second-Order Functionals. Journal of Functional Programming 25","author":"Jaskelioff Mauro","year":"2015","unstructured":"Mauro Jaskelioff and Russell O'Connor . 2015. A Representation Theorem for Second-Order Functionals. Journal of Functional Programming 25 ( 2015 ). Mauro Jaskelioff and Russell O'Connor. 2015. A Representation Theorem for Second-Order Functionals. Journal of Functional Programming 25 (2015)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500590"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804319"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503791"},{"key":"e_1_3_2_1_24_1","volume-title":"Eff Directly in OCaml. In OCaml Workshop.","author":"Kiselyov Oleg","unstructured":"Oleg Kiselyov and K. Sivaramakrishnan . 2016 . Eff Directly in OCaml. In OCaml Workshop. Oleg Kiselyov and K. Sivaramakrishnan. 2016. Eff Directly in OCaml. In OCaml Workshop."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009872"},{"key":"e_1_3_2_1_26_1","first-page":"228","article-title":"Call-by-Push-Value: A Subsuming Paradigm. In Typed Lambda Calculi and Applications, Jean-Yves Girard (Ed.)","author":"Levy Paul Blain","year":"1999","unstructured":"Paul Blain Levy . 1999 . Call-by-Push-Value: A Subsuming Paradigm. In Typed Lambda Calculi and Applications, Jean-Yves Girard (Ed.) . Springer Berlin Heidelberg , 228 - 243 . Paul Blain Levy. 1999. Call-by-Push-Value: A Subsuming Paradigm. In Typed Lambda Calculi and Applications, Jean-Yves Girard (Ed.). Springer Berlin Heidelberg, 228-243.","journal-title":"Springer Berlin Heidelberg"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009897"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209166"},{"key":"e_1_3_2_1_31_1","first-page":"133","volume-title":"Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell (Haskell","author":"van der Ploeg Atze","year":"2014","unstructured":"Atze van der Ploeg and Oleg Kiselyov . 2014 . Reflection Without Remorse: Revealing a Hidden Sequence to Speed Up Monadic Reflection . In Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell (Haskell 2014), Wouter Swierstra (Ed.). ACM, New York, NY, USA , 133 - 144 . Atze van der Ploeg and Oleg Kiselyov. 2014. Reflection Without Remorse: Revealing a Hidden Sequence to Speed Up Monadic Reflection. In Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell (Haskell 2014), Wouter Swierstra (Ed.). ACM, New York, NY, USA, 133-144."},{"key":"e_1_3_2_1_32_1","first-page":"342","volume-title":"5th International Conference (FOSSACS","author":"Plotkin Gordon","year":"2002","unstructured":"Gordon Plotkin and John Power . 2002 . Notions of Computation Determine Monads. In Foundations of Software Science and Computation Structures , 5th International Conference (FOSSACS 2002), Mogens Nielsen and Uffe Engberg (Eds.). Springer , 342 - 356 . Gordon Plotkin and John Power. 2002. Notions of Computation Determine Monads. In Foundations of Software Science and Computation Structures, 5th International Conference (FOSSACS 2002), Mogens Nielsen and Uffe Engberg (Eds.). Springer, 342-356."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_34_1","first-page":"80","volume-title":"18th European Symposium on Programming (ESOP","author":"Plotkin Gordon","year":"2009","unstructured":"Gordon Plotkin and Matija Pretnar . 2009 . Handlers of Algebraic Effects. In Programming Languages and Systems , 18th European Symposium on Programming (ESOP 2009), Giuseppe Castagna (Ed.). Springer , 80 - 94 . Gordon Plotkin and Matija Pretnar. 2009. Handlers of Algebraic Effects. In Programming Languages and Systems, 18th European Symposium on Programming (ESOP 2009), Giuseppe Castagna (Ed.). Springer, 80-94."},{"key":"e_1_3_2_1_35_1","volume-title":"Handling Algebraic Effects. Logical Methods in Computer Science 9, 4","author":"Plotkin Gordon","year":"2013","unstructured":"Gordon Plotkin and Matija Pretnar . 2013. Handling Algebraic Effects. Logical Methods in Computer Science 9, 4 ( 2013 ). Gordon Plotkin and Matija Pretnar. 2013. Handling Algebraic Effects. Logical Methods in Computer Science 9, 4 (2013)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790449.2790514"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming (ICFP","author":"Schrijvers Tom","year":"2011","unstructured":"Tom Schrijvers and Bruno C . d. S. Oliveira. 2011. Monads, Zippers and Views: Virtualizing the Monad Stack . In Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming (ICFP 2011 ), Olivier Danvy (Ed.). Tom Schrijvers and Bruno C. d. S. Oliveira. 2011. Monads, Zippers and Views: Virtualizing the Monad Stack. In Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming (ICFP 2011), Olivier Danvy (Ed.)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90056-J"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.178068"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91592"},{"key":"e_1_3_2_1_43_1","volume-title":"Mathematics of Program Construction (LNCS), Ralf Hinze and Janis Voigtl\u00e4nder (Eds.)","author":"Wu Nicolas","unstructured":"Nicolas Wu and Tom Schrijvers . 2015. Fusion for Free - Efficient Algebraic Effect Handlers . In Mathematics of Program Construction (LNCS), Ralf Hinze and Janis Voigtl\u00e4nder (Eds.) , Vol. 9129 . Springer , 302-322. Nicolas Wu and Tom Schrijvers. 2015. Fusion for Free - Efficient Algebraic Effect Handlers. In Mathematics of Program Construction (LNCS), Ralf Hinze and Janis Voigtl\u00e4nder (Eds.), Vol. 9129. Springer, 302-322."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633358"}],"event":{"name":"ICFP '19: ACM SIGPLAN International Conference on Functional Programming","location":"Berlin Germany","acronym":"ICFP '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342595","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331545.3342595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:39Z","timestamp":1750202019000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342595"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,8]]},"references-count":41,"alternative-id":["10.1145\/3331545.3342595","10.1145\/3331545"],"URL":"https:\/\/doi.org\/10.1145\/3331545.3342595","relation":{},"subject":[],"published":{"date-parts":[[2019,8,8]]},"assertion":[{"value":"2019-08-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}