{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T17:05:45Z","timestamp":1776013545571,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["FA9550-16-1-0082"],"award-info":[{"award-number":["FA9550-16-1-0082"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DGE-1321851,CCF-1421193"],"award-info":[{"award-number":["DGE-1321851,CCF-1421193"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1145\/3009837.3009894","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"846-858","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":78,"title":["QWIRE: a core language for quantum circuits"],"prefix":"10.1145","author":[{"given":"Jennifer","family":"Paykin","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Robert","family":"Rand","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Steve","family":"Zdancewic","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"e_1_3_2_2_2_1","first-page":"205","volume-title":"Semantic Techniques in Quantum Computation","author":"Altenkirch T.","year":"2010","unstructured":"T. Altenkirch and A. S. Green. The quantum IO monad. Semantic Techniques in Quantum Computation, pages 173\u2013205, 2010."},{"key":"e_1_3_2_2_3_1","unstructured":"M. Amy M. Roetteler and K. M. Svore. Verified compilation of space-efficient reversible circuits. Technical Report MSR-TR-2016-22 Microsoft Research March 2016."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","unstructured":"pages 33\u201342 2015. doi: 10.4204\/EPTCS.195.3. P. Benton. A mixed linear and non-linear logic: Proofs terms and models. In L. Pacholski and J. Tiuryn editors Computer Science Logic volume 933 of Lecture Notes in Computer Science pages 121\u2013135. Springer Berlin Heidelberg 1995","DOI":"10.4204\/EPTCS.195.3"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1140\/epjd\/e2003-00242-2"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005251"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"crossref","unstructured":"E. H. Knill. Conventions for quantum pseudocode. Technical Report LAUR-96-2724 Los Alamos National Laboratory 1996.","DOI":"10.2172\/366453"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775051.2676969"},{"key":"e_1_3_2_2_10_1","first-page":"233","volume-title":"Nuttin","author":"McBride C.","unstructured":"C. McBride. I Got Plenty o\u2019 Nuttin\u2019, pages 207\u2013233. Springer International Publishing, 2016. M. A. Nielsen and I. L. Chuang. Quantum computation and quantum information. Cambridge university press, 2010."},{"key":"e_1_3_2_2_11_1","series-title":"Lecture Notes in Computer Science","first-page":"22","volume-title":"Foundations of Software Science and Computation Structures","author":"Pfenning F.","unstructured":"F. Pfenning and D. Griffith. Polarized substructural session types. In A. Pitts, editor, Foundations of Software Science and Computation Structures, volume 9034 of Lecture Notes in Computer Science, pages 3\u201322. Springer Berlin Heidelberg, 2015. N. J. Ross. Algebraic and Logical Methods in Quantum Computation. PhD thesis, Dalhousie University, 2015."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_2_13_1","first-page":"172","volume-title":"Semantic Techniques in Quantum Computation","author":"Selinger P.","unstructured":"P. Selinger and B. Valiron. Quantum lambda calculus. In S. Gay and I. Mackie, editors, Semantic Techniques in Quantum Computation, pages 135\u2013172. Cambridge University Press, 2009."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_2_15_1","volume-title":"Five quantum algorithms using Quipper. arXiv preprint arXiv:1406.4481","author":"Siddiqui S.","year":"2014","unstructured":"S. Siddiqui, M. J. Islam, and O. Shehab. Five quantum algorithms using Quipper. arXiv preprint arXiv:1406.4481, 2014."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676999"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02261-6_30"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049706.2049708"},{"key":"e_1_3_2_2_19_1","volume-title":"Quantum recursion and second quantisation","author":"Ying M.","year":"2014","unstructured":"M. Ying. Quantum recursion and second quantisation. May 2014."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.01.001"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009894","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009894","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:43:12Z","timestamp":1763458992000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":20,"alternative-id":["10.1145\/3009837.3009894","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009894","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009894","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}