{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:50:19Z","timestamp":1790927419855,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,8]],"date-time":"2014-01-08T00:00:00Z","timestamp":1389139200000},"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":[[2014,1,8]]},"DOI":"10.1145\/2535838.2535846","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T08:40:06Z","timestamp":1389688806000},"page":"633-645","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":76,"title":["Parametric effect monads and semantics of effect systems"],"prefix":"10.1145","author":[{"given":"Shin-ya","family":"Katsumata","sequence":"first","affiliation":[{"name":"Kyoto Univeristy, Kyoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,1,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/307684"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680900728X"},{"key":"e_1_3_2_2_3_1","series-title":"LNCS","volume-title":"International Summer School, APPSEM","author":"Barthe G.","year":"2000"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190320"},{"key":"e_1_3_2_2_5_1","first-page":"42","volume-title":"Barthe et al. {3}","author":"Benton N."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273932"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599447"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_7"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292557"},{"key":"e_1_3_2_2_11_1","volume-title":"Elsevier","author":"Jacobs B.","year":"1999"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.023"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103698"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538363_8"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.10.014"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_10"},{"issue":"4","key":"e_1_3_2_2_17_1","first-page":"61","article-title":"A note on actions of a monoidal category","volume":"9","author":"Kelly G.M.","year":"2001","journal-title":"Theory and Applications of Categories"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01304852"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(02)00137-8"},{"key":"e_1_3_2_2_20_1","volume-title":"Cambridge University Press","author":"Leinster T.","year":"2004"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"crossref","unstructured":"P. B. Levy. Call-by-Push-Value A Functiona\/Imperative Synthesis. Springer 2004.   P. B. Levy. Call-by-Push-Value A Functiona\/Imperative Synthesis. Springer 2004.","DOI":"10.1007\/978-94-007-0954-6"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_2_23_1","unstructured":"S.\n       \n      MacLane\n    .\n      \n  \n   \n  Categories for the Working Mathematician\n   (\n  Second\n   Edition) volume \n  5\n   of \n  Graduate Texts in Mathematics\n  . \n  Springer 1998\n  .  S. MacLane. Categories for the Working Mathematician (Second Edition) volume 5 of Graduate Texts in Mathematics. Springer 1998."},{"key":"e_1_3_2_2_24_1","unstructured":"P.-A. Mellies. Parametric monads and enriched adjunctions. Manuscript.  P.-A. Mellies. Parametric monads and enriched adjunctions. Manuscript."},{"key":"e_1_3_2_2_25_1","unstructured":"P.-A. Mellies. The parametric continuation monad. Mathematical Structures in Computer Science Festschrift in honor of Corrado B\u00f6hm for his 90th birthday 2013.  P.-A. Mellies. The parametric continuation monad. Mathematical Structures in Computer Science Festschrift in honor of Corrado B\u00f6hm for his 90th birthday 2013."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00017-8"},{"key":"e_1_3_2_2_28_1","volume-title":"Springer","author":"Nielson F.","year":"2005"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39212-2_35"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58485-4_55"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1046"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429074"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034831"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177855"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505005074"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289429"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/601775.601776"}],"event":{"name":"POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Diego California USA","acronym":"POPL '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2535838.2535846","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2535838.2535846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:24Z","timestamp":1750221564000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2535838.2535846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,8]]},"references-count":37,"alternative-id":["10.1145\/2535838.2535846","10.1145\/2535838"],"URL":"https:\/\/doi.org\/10.1145\/2535838.2535846","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2578855.2535846","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,1,8]]},"assertion":[{"value":"2014-01-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}