{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:53Z","timestamp":1772164073007,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,8]],"date-time":"2016-09-08T00:00:00Z","timestamp":1473292800000},"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":[[2016,9,8]]},"DOI":"10.1145\/2976002.2976012","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T08:40:09Z","timestamp":1472200809000},"page":"158-169","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Supermonads: one notion to bind them all"],"prefix":"10.1145","author":[{"given":"Jan","family":"Bracker","sequence":"first","affiliation":[{"name":"University of Nottingham, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Nilsson","sequence":"additional","affiliation":[{"name":"University of Nottingham, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Haskell 2010 language report 2010.  Haskell 2010 language report 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000885"},{"key":"e_1_3_2_1_3_1","unstructured":"doi: 10.1017\/ S0956796800000885.  doi: 10.1017\/ S0956796800000885."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12032-9_21"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680900728X"},{"key":"e_1_3_2_1_6_1","unstructured":"doi: 10.1017\/ S095679680900728X.  doi: 10.1017\/ S095679680900728X."},{"key":"e_1_3_2_1_7_1","volume-title":"Sept.","author":"Bolingbroke M.","year":"2011","unstructured":"M. Bolingbroke . Constraint kinds for GHC , Sept. 2011 . M. Bolingbroke. Constraint kinds for GHC, Sept. 2011."},{"key":"e_1_3_2_1_8_1","volume-title":"jbracker\/polymonad-proofs","author":"Bracker J.","year":"2015","unstructured":"J. Bracker . jbracker\/polymonad-proofs , 2015 . J. Bracker. jbracker\/polymonad-proofs, 2015."},{"key":"e_1_3_2_1_9_1","volume-title":"jbracker\/supermonad","author":"Bracker J.","year":"2016","unstructured":"J. Bracker . jbracker\/supermonad , 2016 . J. Bracker. jbracker\/supermonad, 2016."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04132-2_5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897336.2897340"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929553.1929564"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804307"},{"key":"e_1_3_2_1_15_1","volume-title":"index-core","author":"Gonzalez G.","year":"2012","unstructured":"G. Gonzalez . index-core , 2012 \u20132015. G. Gonzalez. index-core, 2012\u20132015."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804305"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_18_1","unstructured":"1065952.  1065952."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.7"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_21_1","volume-title":"Haskell Workshop","volume":"99","author":"Hughes J.","year":"1999","unstructured":"J. Hughes . Restricted data types in Haskell . In Haskell Workshop , volume 99 , 1999 . J. Hughes. Restricted data types in Haskell. In Haskell Workshop, volume 99, 1999."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"key":"e_1_3_2_1_24_1","unstructured":"A. M. Joseph. Generalized Arrows. PhD thesis EECS Department University of California Berkeley 2014.  A. M. Joseph. Generalized Arrows. PhD thesis EECS Department University of California Berkeley 2014."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535846"},{"key":"e_1_3_2_1_26_1","volume-title":"monad-param","author":"Kmett E.","year":"2006","unstructured":"E. Kmett . monad-param , 2006 \u20132011. E. Kmett. monad-param, 2006\u20132011."},{"key":"e_1_3_2_1_27_1","unstructured":"E. Kmett. Parameterized monads in Haskell July 2007.  E. Kmett. Parameterized monads in Haskell July 2007."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976007"},{"key":"e_1_3_2_1_29_1","volume-title":"Unpublished","author":"McBride C.","year":"2011","unstructured":"C. McBride . Functional pearl : Kleisli arrows of outrageous fortune . Unpublished , 2011 . C. McBride. Functional pearl: Kleisli arrows of outrageous fortune. Unpublished, 2011."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_31_1","volume-title":"Computational Lambda-Calculus and Monads","author":"Moggi E.","year":"1988","unstructured":"E. Moggi . Computational Lambda-Calculus and Monads . IEEE Computer Society Press , 1988 . E. Moggi. Computational Lambda-Calculus and Monads. IEEE Computer Society Press, 1988."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666202.2666208"},{"key":"e_1_3_2_1_35_1","volume-title":"effect-monad","author":"Orchard D.","year":"2013","unstructured":"D. Orchard . effect-monad , 2013 \u20132014. D. Orchard. effect-monad, 2013\u20132014."},{"key":"e_1_3_2_1_36_1","volume-title":"Categorical programming for data types with restricted parametricity. Draft submitted and rejected by TFP 2012 post-proceedings","author":"Orchard D.","year":"2012","unstructured":"D. Orchard and A. Mycroft . Categorical programming for data types with restricted parametricity. Draft submitted and rejected by TFP 2012 post-proceedings , 2012 . D. Orchard and A. Mycroft. Categorical programming for data types with restricted parametricity. Draft submitted and rejected by TFP 2012 post-proceedings, 2012."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633368"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/2633357.    10.1145\/2633357\ndoi: 10.1145\/2633357.","DOI":"10.1145\/2633357"},{"key":"e_1_3_2_1_39_1","unstructured":"2633368.  2633368."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_41_1","unstructured":"507664.  507664."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34407-7_6"},{"key":"e_1_3_2_1_43_1","volume-title":"indexed","author":"Pope R.","year":"2004","unstructured":"R. Pope , E. A. Kmett , D. Menendez , and I. Diatchki . indexed , 2004 \u20132012. R. Pope, E. A. Kmett, D. Menendez, and I. Diatchki. indexed, 2004\u20132012."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411290"},{"key":"e_1_3_2_1_45_1","volume-title":"Notions of computation as monoids. Under consideration for publication in Journal of Functional Programming","author":"Rivas E.","year":"2016","unstructured":"E. Rivas and M. Jaskelioff . Notions of computation as monoids. Under consideration for publication in Journal of Functional Programming , 2016 . E. Rivas and M. Jaskelioff. Notions of computation as monoids. Under consideration for publication in Journal of Functional Programming, 2016."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500602"},{"key":"e_1_3_2_1_47_1","volume-title":"Rmonad","author":"Sittampalam G.","year":"2008","unstructured":"G. Sittampalam and P. Gavin . Rmonad , 2008 \u20132013. G. Sittampalam and P. Gavin. Rmonad, 2008\u20132013."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108970.1108974"},{"key":"e_1_3_2_1_49_1","first-page":"32","volume-title":"First Workshop on Constraint Handling Rules: Selected papers","author":"Stuckey P. J.","unstructured":"P. J. Stuckey , M. Sulzmann , and J. Wazny . The chameleon system. In T. Fr\u00fchwirth and M. Meister, editors , First Workshop on Constraint Handling Rules: Selected papers , pages 13\u2013 32 . University of Ulm, 2004. P. J. Stuckey, M. Sulzmann, and J. Wazny. The chameleon system. In T. Fr\u00fchwirth and M. Meister, editors, First Workshop on Constraint Handling Rules: Selected papers, pages 13\u201332. University of Ulm, 2004."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034778"},{"key":"e_1_3_2_1_51_1","volume-title":"Glasgow Haskell Compiler Users Guide","author":"Team The GHC","year":"2016","unstructured":"The GHC Team . Glasgow Haskell Compiler Users Guide , 2016 . The GHC Team. Glasgow Haskell Compiler Users Guide, 2016."},{"key":"e_1_3_2_1_52_1","volume-title":"simple-sessions","author":"Tov J. A.","year":"2008","unstructured":"J. A. Tov . simple-sessions , 2008 \u20132013. J. A. Tov. simple-sessions, 2008\u20132013."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005287"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019944"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289429"}],"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 9th International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976002.2976012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2976002.2976012","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\/2976002.2976012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,8]]},"references-count":55,"alternative-id":["10.1145\/2976002.2976012","10.1145\/2976002"],"URL":"https:\/\/doi.org\/10.1145\/2976002.2976012","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3241625.2976012","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,8]]},"assertion":[{"value":"2016-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}