{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T05:54:03Z","timestamp":1781762043232,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T00:00:00Z","timestamp":1358899200000},"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,1,23]]},"DOI":"10.1145\/2429069.2429091","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T10:29:29Z","timestamp":1358850569000},"page":"179-192","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Universal properties of impure programming languages"],"prefix":"10.1145","author":[{"given":"Sam","family":"Staton","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul Blain","family":"Levy","sequence":"additional","affiliation":[{"name":"University of Birmingham, Birmingham, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000186"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12032-9_21"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.014"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788785"},{"issue":"3","key":"e_1_3_2_1_5_1","first-page":"215","article-title":"dans un triple)","volume":"12","author":"Burroni A.","year":"1971","unstructured":"A. Burroni . T-categories (categories dans un triple) . Cahiers Topologie Geom. Differentielle , 12 ( 3 ): 215 -- 312 , 1971 . A. Burroni. T-categories (categories dans un triple). Cahiers Topologie Geom. Differentielle, 12(3):215--312, 1971.","journal-title":"Cahiers Topologie Geom. Differentielle"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/648333.755588"},{"key":"e_1_3_2_1_7_1","volume-title":"Operads and Universal Algebra","author":"Curien P.-L.","year":"2010","unstructured":"P.-L. Curien . Operads, clones , and distributive laws . In Operads and Universal Algebra , 2010 . P.-L. Curien. Operads, clones, and distributive laws. In Operads and Universal Algebra, 2010."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1807662.1807684"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/571157.571161"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90082-1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80078-1"},{"key":"e_1_3_2_1_13_1","first-page":"61","volume-title":"Proc. CSL'94","author":"Herbelin H.","year":"1994","unstructured":"H. Herbelin . A lambda-calculus structure isomorphic to Gentzen-style sequent calculus structure . In Proc. CSL'94 , pages 61 -- 75 , 1994 . H. Herbelin. A lambda-calculus structure isomorphic to Gentzen-style sequent calculus structure. In Proc. CSL'94, pages 61--75, 1994."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/aima.1999.1877"},{"key":"e_1_3_2_1_15_1","volume-title":"TACL'09","author":"Hyland M.","year":"2009","unstructured":"M. Hyland . Multicategories in and around algebra and logic. Invited talk , TACL'09 . Slides available from the author's home page , 2009 . M. Hyland. Multicategories in and around algebra and logic. Invited talk, TACL'09. Slides available from the author's home page, 2009."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90020-5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2228095.2228104"},{"key":"e_1_3_2_1_18_1","volume-title":"Unpublished","author":"Jeffrey A.","year":"1997","unstructured":"A. Jeffrey . Premonoidal categories and a graphical view of programs . Unpublished , 1997 . A. Jeffrey. Premonoidal categories and a graphical view of programs. Unpublished, 1997."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01220868"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(03)00069-0"},{"key":"e_1_3_2_1_21_1","series-title":"LNM","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BFb0079385","volume-title":"Category theory, homology theory and their applications","author":"Lambek J.","year":"1969","unstructured":"J. Lambek . Deductive systems and categories II . In Category theory, homology theory and their applications , volume 86 of LNM , pages 76 -- 122 . Springer , 1969 . J. Lambek. Deductive systems and categories II. In Category theory, homology theory and their applications, volume 86 of LNM, pages 76--122. Springer, 1969."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525896"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"P. B. Levy. Call-by-push-value. Springer 2004.  P. B. Levy. Call-by-push-value. Springer 2004.","DOI":"10.1007\/978-94-007-0954-6"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00088-9"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1966.15.15044"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647852.737419"},{"key":"e_1_3_2_1_27_1","volume-title":"es and N. Tabareau. Linear continuations and duality. hal.archives-ouvertes.fr\/hal-00339156","author":"Melli P.","year":"2008","unstructured":"P. Melli ` es and N. Tabareau. Linear continuations and duality. hal.archives-ouvertes.fr\/hal-00339156 , 2008 . P. Melli`es and N. Tabareau. Linear continuations and duality. hal.archives-ouvertes.fr\/hal-00339156, 2008."},{"key":"e_1_3_2_1_28_1","first-page":"298","volume-title":"CALCO'11","author":"M\u00f8gelberg R. E.","year":"2011","unstructured":"R. E. M\u00f8gelberg and S. Staton . Linearly-used state in models of callby-value . In CALCO'11 , pages 298 -- 313 , 2011 . R. E. M\u00f8gelberg and S. Staton. Linearly-used state in models of callby-value. In CALCO'11, pages 298--313, 2011."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77353"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004495"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00340-6"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129597002375"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. ICALP'99","author":"Power J.","year":"1999","unstructured":"J. Power and H. Thielecke . Closed Freyd- and kappa-categories . In Proc. ICALP'99 , 1999 . J. Power and H. Thielecke. Closed Freyd- and kappa-categories. In Proc. ICALP'99, 1999."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806032"},{"key":"e_1_3_2_1_36_1","volume-title":"Technical Report TR94-02","author":"Stell J. G.","year":"1994","unstructured":"J. G. Stell . Modelling term rewriting systems by sesqui-categories. Technical Report TR94-02 , Keele University , 1994 . J. G. Stell. Modelling term rewriting systems by sesqui-categories. Technical Report TR94-02, Keele University, 1994."}],"event":{"name":"POPL '13: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Rome Italy","acronym":"POPL '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429091","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429069.2429091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:35Z","timestamp":1750221335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429069.2429091"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":36,"alternative-id":["10.1145\/2429069.2429091","10.1145\/2429069"],"URL":"https:\/\/doi.org\/10.1145\/2429069.2429091","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2480359.2429091","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,1,23]]},"assertion":[{"value":"2013-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}