{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:52Z","timestamp":1772164072295,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,1,14]],"date-time":"2015-01-14T00:00:00Z","timestamp":1421193600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,1,14]]},"DOI":"10.1145\/2676726.2676999","type":"proceedings-article","created":{"date-parts":[[2014,12,19]],"date-time":"2014-12-19T08:51:05Z","timestamp":1418979065000},"page":"395-406","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Algebraic Effects, Linearity, and Quantum Programming Languages"],"prefix":"10.1145","author":[{"given":"Sam","family":"Staton","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2015,1,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021878"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1948-09016-4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.172.10"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.09.007"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12032-9_21"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139193313.006"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56478-9_3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788785"},{"key":"e_1_3_2_1_9_1","first-page":"216","article-title":"Monads with arities and their associated theories","author":"Berger C.","year":"2012","unstructured":"C. Berger , P.-A. Melli\u00e8s , and M. Weber . Monads with arities and their associated theories . J. Pure Appl. Algebra , 216 , 2012 . C. Berger, P.-A. Melli\u00e8s, and M. Weber. Monads with arities and their associated theories. J. Pure Appl. Algebra, 216, 2012.","journal-title":"J. Pure Appl. Algebra"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/170320"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2951"},{"key":"e_1_3_2_1_12_1","first-page":"84","article-title":"Informational derivation of quantum theory","author":"Chiribella G.","year":"2011","unstructured":"G. Chiribella , G. M. D'Ariano , and P. Perinotti . Informational derivation of quantum theory . Phys. Rev. A , 84 , 2011 . G. Chiribella, G. M. D'Ariano, and P. Perinotti. Informational derivation of quantum theory. Phys. Rev. A, 84, 2011.","journal-title":"Phys. Rev. A"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.172.12"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_25"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1219092.1219096"},{"key":"e_1_3_2_1_16_1","volume-title":"A User's Guide to Operator Algebras","author":"Fillmore P. A.","year":"1996","unstructured":"P. A. Fillmore . A User's Guide to Operator Algebras . Wiley-Interscience , 1996 . P. A. Fillmore. A User's Guide to Operator Algebras. Wiley-Interscience, 1996."},{"key":"e_1_3_2_1_17_1","volume-title":"Draft","author":"Fiore M.","year":"2001","unstructured":"M. Fiore . Notes on combinatorial functors . Draft , 2001 . M. Fiore. Notes on combinatorial functors. Draft, 2001."},{"key":"e_1_3_2_1_18_1","volume-title":"CSL'10","author":"Fiore M. P.","unstructured":"M. P. Fiore and C.-K. Hur . Second-order equational logic . In CSL'10 . M. P. Fiore and C.-K. Hur. Second-order equational logic. In CSL'10."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_20_1","volume-title":"arXiv:1104.2066","author":"Hardy L.","year":"2011","unstructured":"L. Hardy . Reformulating and reconstructing quantum theory. arXiv:1104.2066 , 2011 . L. Hardy. Reformulating and reconstructing quantum theory. arXiv:1104.2066, 2011."},{"key":"e_1_3_2_1_21_1","unstructured":"C. Heunen A. Kissinger and P. Selinger. Completely positive projections and biproducts. arXiv:1308.4557.  C. Heunen A. Kissinger and P. Selinger. Completely positive projections and biproducts. arXiv:1308.4557."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.09.016"},{"key":"e_1_3_2_1_23_1","volume-title":"A note on actions of a monoidal category. Theory Appl. Categ., 9(4)","author":"Janelidze G.","year":"2001","unstructured":"G. Janelidze and G. Kelly . A note on actions of a monoidal category. Theory Appl. Categ., 9(4) , 2001 . G. Janelidze and G. Kelly. A note on actions of a monoidal category. Theory Appl. Categ., 9(4), 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103698"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(93)90092-8"},{"key":"e_1_3_2_1_26_1","first-page":"637","article-title":"Autonomous equational categories","volume":"15","author":"Linton F. E. J.","year":"1966","unstructured":"F. E. J. Linton . Autonomous equational categories . J. Math. Mech. , 15 : 637 -- 642 , 1966 . F. E. J. Linton. Autonomous equational categories. J. Math. Mech., 15:637--642, 1966.","journal-title":"J. Math. Mech."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38164-5_13"},{"key":"e_1_3_2_1_28_1","volume-title":"RTA-TLCA","author":"Melli\u00e8s P.-A.","year":"2014","unstructured":"P.-A. Melli\u00e8s . Local stores in string diagrams . In RTA-TLCA 2014 . P.-A. Melli\u00e8s. Local stores in string diagrams. In RTA-TLCA 2014."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.46"},{"key":"e_1_3_2_1_30_1","volume-title":"Linear usage of state. Logical Methods Comput. Sci., 10(1)","author":"M\u00f8gelberg R. E.","year":"2014","unstructured":"R. E. M\u00f8gelberg and S. Staton . Linear usage of state. Logical Methods Comput. Sci., 10(1) , 2014 . R. E. M\u00f8gelberg and S. Staton. Linear usage of state. Logical Methods Comput. Sci., 10(1), 2014."},{"key":"e_1_3_2_1_31_1","volume-title":"CUP","author":"Nielsen M. A.","year":"2011","unstructured":"M. A. Nielsen and I. L. Chuang . Quantum Computation and Quantum Information . CUP , 2011 . M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. CUP, 2011."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004495"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535879"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546631"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/11780274_8"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/646794.704856"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.08.006"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1090\/crmp\/053\/11"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11417170_23"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2014.10.016"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_1_43_1","volume-title":"Generators and relations for n-qubit Clifford operators. arXiv:1310.6813","author":"Selinger P.","year":"2013","unstructured":"P. Selinger . Generators and relations for n-qubit Clifford operators. arXiv:1310.6813 , 2013 . P. Selinger. Generators and relations for n-qubit Clifford operators. arXiv:1310.6813, 2013."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806033"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_26"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12032-9_5"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591370.2591394"},{"key":"e_1_3_2_1_48_1","volume-title":"Proc. MFPS XXV","author":"Staton S.","year":"2009","unstructured":"S. Staton . Two cotensors in one . In Proc. MFPS XXV , 2009 . S. Staton. Two cotensors in one. In Proc. MFPS XXV, 2009."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2014.02.010"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429091"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703432165"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.70"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10452-7_22"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.13"},{"key":"e_1_3_2_1_55_1","volume-title":"Alternation in quantum programming: from superposition of data to superposition of programs. arXiv:1402.5172","author":"Ying M.","year":"2014","unstructured":"M. Ying , N. Yu , and Y. Feng . Alternation in quantum programming: from superposition of data to superposition of programs. arXiv:1402.5172 , 2014 . M. Ying, N. Yu, and Y. Feng. Alternation in quantum programming: from superposition of data to superposition of programs. arXiv:1402.5172, 2014."}],"event":{"name":"POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Mumbai India","acronym":"POPL '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676726.2676999","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2676726.2676999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:03Z","timestamp":1750212783000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676726.2676999"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,14]]},"references-count":55,"alternative-id":["10.1145\/2676726.2676999","10.1145\/2676726"],"URL":"https:\/\/doi.org\/10.1145\/2676726.2676999","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2775051.2676999","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,1,14]]},"assertion":[{"value":"2015-01-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}