{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:11:53Z","timestamp":1775790713859,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,4]],"date-time":"2016-09-04T00:00:00Z","timestamp":1472947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/M026124\/1, EP\/K011715\/1, EP\/M022358\/1"],"award-info":[{"award-number":["EP\/M026124\/1, EP\/K011715\/1, EP\/M022358\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"JSPS KAKENHI","award":["JP15K00014"],"award-info":[{"award-number":["JP15K00014"]}]},{"name":"Estonian Ministry of Education and Research","award":["IUT33-13"],"award-info":[{"award-number":["IUT33-13"]}]},{"name":"Estonian Science Foundation","award":["9475"],"award-info":[{"award-number":["9475"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,4]]},"DOI":"10.1145\/2951913.2951939","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T08:17:16Z","timestamp":1472458636000},"page":"476-489","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Combining effects and coeffects via grading"],"prefix":"10.1145","author":[{"given":"Marco","family":"Gaboardi","sequence":"first","affiliation":[{"name":"SUNY Buffalo, USA"}]},{"given":"Shin-ya","family":"Katsumata","sequence":"additional","affiliation":[{"name":"Kyoto University, Japan"}]},{"given":"Dominic","family":"Orchard","sequence":"additional","affiliation":[{"name":"University of Cambridge, UK \/ University of Kent, UK"}]},{"given":"Flavien","family":"Breuvart","sequence":"additional","affiliation":[{"name":"Inria, France"}]},{"given":"Tarmo","family":"Uustalu","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology, Estonia"}]}],"member":"320","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292555"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2201\/NiiPi.2013.10.2"},{"key":"e_1_3_2_1_3_1","first-page":"23","volume-title":"TYPES 2013, v. 13 of Leibniz Int. Proc. in Comput. Sci.","author":"Ahman D.","unstructured":"D. Ahman and T. Uustalu . Update monads: cointerpreting directed containers . In TYPES 2013, v. 13 of Leibniz Int. Proc. in Comput. Sci. , pp. 1\u2013 23 . Dagstuhl Publishing, 2014. D. Ahman and T. Uustalu. Update monads: cointerpreting directed containers. In TYPES 2013, v. 13 of Leibniz Int. Proc. in Comput. Sci., pp. 1\u201323. Dagstuhl Publishing, 2014."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680900728X"},{"key":"e_1_3_2_1_5_1","volume-title":"Springer","author":"Benton N.","year":"2016","unstructured":"N. Benton , A. Kennedy , M. Hofmann , and V. Nigam . Counting successes: effects and transformations for non-deterministic programs. In A List of Successes That Can Change the World, v. 9600 of LNCS, pp. 56\u201372 . Springer , 2016 . N. Benton, A. Kennedy, M. Hofmann, and V. Nigam. Counting successes: effects and transformations for non-deterministic programs. In A List of Successes That Can Change the World, v. 9600 of LNCS, pp. 56\u201372. Springer, 2016."},{"key":"e_1_3_2_1_6_1","first-page":"581","volume-title":"CSL 2015, v. 41 of Leibniz Int. Proc. in Comput. Sci.","author":"Breuvart F.","unstructured":"F. Breuvart and M. Pagani . Modelling coeffects in the relational semantics of linear logic . In CSL 2015, v. 41 of Leibniz Int. Proc. in Comput. Sci. , pp. 567\u2013 581 . Dagstuhl Publishing, 2015. F. Breuvart and M. Pagani. Modelling coeffects in the relational semantics of linear logic. In CSL 2015, v. 41 of Leibniz Int. Proc. in Comput. Sci., pp. 567\u2013581. Dagstuhl Publishing, 2015."},{"key":"e_1_3_2_1_7_1","volume-title":"Carnegie-Mellon Univ.","author":"Brookes S.","year":"1993","unstructured":"S. Brookes and K. V. Stone . Monads and comonads in intensional semantics. Techn. rep. CMU-CS-93-140 . Carnegie-Mellon Univ. , 1993 . S. Brookes and K. V. Stone. Monads and comonads in intensional semantics. Techn. rep. CMU-CS-93-140. Carnegie-Mellon Univ., 1993."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_19"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837652"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.22"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292557"},{"key":"e_1_3_2_1_12_1","first-page":"530","volume-title":"FoSSaCS","author":"Fujii S.","year":"2016","unstructured":"S. Fujii , S.-y. Katsumata , and P.-A. Melli\u00e8s . Towards a formal theory of graded monads . In FoSSaCS 2016 , v. 9634 of LNCS , pp. 513\u2013 530 . Springer, 2016. S. Fujii, S.-y. Katsumata, and P.-A. Melli\u00e8s. Towards a formal theory of graded monads. In FoSSaCS 2016, v. 9634 of LNCS, pp. 513\u2013530. Springer, 2016."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429113"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_18"},{"key":"e_1_3_2_1_16_1","volume-title":"Springer","author":"Gibbons J.","year":"2016","unstructured":"J. Gibbons . Comprehending ringads. In A List of Successes That Can Change the World, v. 9600 of LNCS, pp. 132\u2013151 . Springer , 2016 . J. Gibbons. Comprehending ringads. In A List of Successes That Can Change the World, v. 9600 of LNCS, pp. 132\u2013151. Springer, 2016."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319848"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90386-T"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.14"},{"key":"e_1_3_2_1_21_1","first-page":"99","volume-title":"MSFP 2014, v. 153 of Electron. Proc. in Theor. Comput. Sci.","author":"Hicks M.","unstructured":"M. Hicks , G. M. Bierman , N. Guts , D. Leijen , and N. Swamy . Polymonadic programming . In MSFP 2014, v. 153 of Electron. Proc. in Theor. Comput. Sci. , pp. 79\u2013 99 . Open Publ. Assoc., 2014. M. Hicks, G. M. Bierman, N. Guts, D. Leijen, and N. Swamy. Polymonadic programming. In MSFP 2014, v. 153 of Electron. Proc. in Theor. Comput. Sci., pp. 79\u201399. Open Publ. Assoc., 2014."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99623"},{"key":"e_1_3_2_1_23_1","volume-title":"Graduate Texts in Mathematics","author":"C. Kassel. Quantum Groups","year":"1994","unstructured":"C. Kassel. Quantum Groups . Graduate Texts in Mathematics . Springer , 1994 . C. Kassel. Quantum Groups. Graduate Texts in Mathematics. Springer, 1994."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535846"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_1_26_1","first-page":"233","volume-title":"Nuttin\u2019. In A List of Successes That Can Change the World, v. 9600 of LNCS","author":"McBride C.","unstructured":"C. McBride . I Got Plenty o \u2019 Nuttin\u2019. In A List of Successes That Can Change the World, v. 9600 of LNCS , pp. 207\u2013 233 . Springer, 2016. C. McBride. I Got Plenty o\u2019 Nuttin\u2019. In A List of Successes That Can Change the World, v. 9600 of LNCS, pp. 207\u2013233. Springer, 2016."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02930-1_21"},{"key":"e_1_3_2_1_28_1","volume-title":"Draft","author":"Melli\u00e8s P.-A.","year":"2012","unstructured":"P.-A. Melli\u00e8s . Parametric monads and enriched adjunctions . Draft , 2012 . http:\/\/www.pps.univ-paris-diderot.fr\/~mellies\/ tensorial-logic\/. P.-A. Melli\u00e8s. Parametric monads and enriched adjunctions. Draft, 2012. http:\/\/www.pps.univ-paris-diderot.fr\/~mellies\/ tensorial-logic\/."},{"key":"e_1_3_2_1_29_1","first-page":"269","volume-title":"CALCO 2015, v. 35 of Leibniz Int. Proc. in Comput. Sci.","author":"Milius S.","unstructured":"S. Milius , D. Pattinson , and L. Schr\u00f6der . Generic trace semantics and graded monads . In CALCO 2015, v. 35 of Leibniz Int. Proc. in Comput. Sci. , pp. 253\u2013 269 . Dagstuhl Publishing, 2015. S. Milius, D. Pattinson, and L. Schr\u00f6der. Generic trace semantics and graded monads. In CALCO 2015, v. 35 of Leibniz Int. Proc. in Comput. Sci., pp. 253\u2013269. Dagstuhl Publishing, 2015."},{"key":"e_1_3_2_1_30_1","volume-title":"IEEE","author":"Moggi E.","year":"1989","unstructured":"E. Moggi . Computational lambda-calculus and monads. In LICS \u201989, pp. 14\u201323 . IEEE , 1989 . E. Moggi. Computational lambda-calculus and monads. In LICS \u201989, pp. 14\u201323. IEEE, 1989."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27810-0_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888271"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352582.1352591"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"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","volume-title":"The semantic marriage of monads and effects. arXiv preprint 1401.5391","author":"Orchard D.","year":"2014","unstructured":"D. Orchard , T. Petricek , and A. Mycroft . The semantic marriage of monads and effects. arXiv preprint 1401.5391 , 2014 . D. Orchard, T. Petricek, and A. Mycroft. The semantic marriage of monads and effects. arXiv preprint 1401.5391, 2014."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39212-2_35"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628160"},{"key":"e_1_3_2_1_42_1","first-page":"24","volume-title":"FOSSACS 2001","author":"Plotkin G.","year":"2030","unstructured":"G. Plotkin and J. Power . Adequacy for algebraic effects . In FOSSACS 2001 , v. 2030 of LNCS, pp. 1\u2013 24 . Springer, 2001. G. Plotkin and J. Power. Adequacy for algebraic effects. In FOSSACS 2001, v. 2030 of LNCS, pp. 1\u201324. Springer, 2001."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00024-X"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1046"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429074"},{"key":"e_1_3_2_1_48_1","volume-title":"IEEE","author":"Terui K.","year":"2001","unstructured":"K. Terui . Light affine lambda calculus and polytime strong normalization. In LICS \u201901, pp. 209\u2013220 . IEEE , 2001 . K. Terui. Light affine lambda calculus and polytime strong normalization. In LICS \u201901, pp. 209\u2013220. IEEE, 2001."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.029"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_2"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289429"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/601775.601776"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292560"}],"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 21st ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951939","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2951913.2951939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:56:21Z","timestamp":1750208181000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,4]]},"references-count":51,"alternative-id":["10.1145\/2951913.2951939","10.1145\/2951913"],"URL":"https:\/\/doi.org\/10.1145\/2951913.2951939","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022670.2951939","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,4]]},"assertion":[{"value":"2016-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}