{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T10:18:14Z","timestamp":1775384294712,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"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":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386007","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"286-300","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":116,"title":["Silq: a high-level quantum language with safe uncomputation and intuitive semantics"],"prefix":"10.1145","author":[{"given":"Benjamin","family":"Bichsel","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Maximilian","family":"Baader","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Timon","family":"Gehr","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.STACS.2011.661"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.117.130501"},{"key":"e_1_3_2_1_5_1","volume-title":"Psi: Exact symbolic inference for probabilistic programs. In CAV\u201916. 62\u201383.","author":"Gehr Timon","year":"2016","unstructured":"Timon Gehr, Sasa Misailovic, and Martin Vechev. 2016. Psi: Exact symbolic inference for probabilistic programs. In CAV\u201916. 62\u201383."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"e_1_3_2_1_9_1","volume-title":"The Rust programming language","author":"Klabnik Steve","unstructured":"Steve Klabnik and Carol Nichols. 2018. The Rust programming language. No Starch Press, San Francisco."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.2172\/366453"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1038\/nphys3029"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.89.062315"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"F. Magniez M. Santha and M. Szegedy. 2007. Quantum Algorithms for the Triangle Problem. 37 2 (2007) 413\u2013424. 1137\/050643684 10.1137\/050643684","DOI":"10.1137\/050643684"},{"key":"e_1_3_2_1_14_1","volume-title":"Public submissions of the Microsoft Q# Coding Contest -","year":"2018","unstructured":"Microsoft. 2018. Public submissions of the Microsoft Q# Coding Contest - Summer 2018. (2018)."},{"key":"e_1_3_2_1_15_1","unstructured":"https:\/\/codeforces.com\/contest\/1002\/"},{"key":"e_1_3_2_1_16_1","volume-title":"Public submissions of the Microsoft Q# Coding Contest -","year":"2019","unstructured":"Microsoft. 2019. Public submissions of the Microsoft Q# Coding Contest - Winter 2019. (2019)."},{"key":"e_1_3_2_1_17_1","unstructured":"https:\/\/codeforces.com\/contest\/1116\/"},{"key":"e_1_3_2_1_18_1","unstructured":"Mariia Mykhailova and Martin Roetteler. 2018. Microsoft Q# Coding Contest - Summer 2018 - Main Contest July 6-9 2018. (2018)."},{"key":"e_1_3_2_1_19_1","unstructured":"https: \/\/assets.codeforces.com\/rounds\/997-998\/main-contest-editorial.pdf"},{"key":"e_1_3_2_1_20_1","unstructured":"Mariia Mykhailova and Martin Roetteler. 2019. Microsoft Q# Coding Contest - Winter 2019 - Main Contest March 1-4 2019. (2019)."},{"key":"e_1_3_2_1_21_1","unstructured":"https: \/\/assets.codeforces.com\/rounds\/1116\/contest-editorial.pdf"},{"key":"e_1_3_2_1_22_1","unstructured":"Peter M\u00fcller and Arnd Poetzsch-Heffter. 1999. Universes: a type system for controlling representation exposure."},{"key":"e_1_3_2_1_23_1","first-page":"11","article-title":"An Adaptive Attack on Wiesner\u2019s Quantum Money. Quantum Info","volume":"16","author":"Nagaj Daniel","year":"2016","unstructured":"Daniel Nagaj, Or Sattath, Aharon Brodutch, and Dominique Unruh. 2016. An Adaptive Attack on Wiesner\u2019s Quantum Money. Quantum Info. Comput. 16, 11-12 (Sept. 2016), 1048\u20131070. http:\/\/dl.acm.org\/ citation.cfm?id=3179330.3179337","journal-title":"Comput."},{"key":"e_1_3_2_1_24_1","volume-title":"Chuang","author":"Nielsen Michael A.","year":"2010","unstructured":"Michael A. Nielsen and Isaac L. Chuang. 2010. Quantum computation and quantum information (10th anniversary ed ed.). Cambridge University Press, Cambridge ; New York."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.287.17"},{"key":"e_1_3_2_1_27_1","volume-title":"Quantum Support Vector Machine for Big Data Classification. Physical Review Letters 113","author":"Rebentrost Patrick","year":"2013","unstructured":"Patrick Rebentrost, M Mohseni, and Seth Lloyd. 2013. Quantum Support Vector Machine for Big Data Classification. Physical Review Letters 113 (2013)."},{"key":"e_1_3_2_1_28_1","volume-title":"Advanced Linear Algebra","author":"Roman Steven","unstructured":"Steven Roman. 2008. Advanced Linear Algebra. New York, NY. http: \/\/site.ebrary.com\/id\/10230315 OCLC: 730328666."},{"key":"e_1_3_2_1_29_1","volume-title":"Ross and Peter LeFanu Lumsdaine","author":"Neil","year":"2015","unstructured":"Neil J. Ross and Peter LeFanu Lumsdaine. 2015. Algorithms.TF.Main. https:\/\/www.mathstat.dal.ca\/~selinger\/quipper\/doc\/Algorithms-TFMain.html."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005238"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_1_34_1","volume-title":"https:\/\/github.com\/ quantumlib\/Cirq","author":"Quantum Team Google AI","year":"2017","unstructured":"Google AI Quantum Team. 2017. Cirq. (2017). https:\/\/github.com\/ quantumlib\/Cirq"},{"key":"e_1_3_2_1_35_1","volume-title":"A software design architecture and domain-specific language for quantum computing. arXiv preprint arXiv:1402.4467","author":"Wecker Dave","year":"2014","unstructured":"Dave Wecker and Krysta M Svore. 2014. LIQUi|>: A software design architecture and domain-specific language for quantum computing. arXiv preprint arXiv:1402.4467 (2014)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.109.050505"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1008908.1008920"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386007","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:49Z","timestamp":1750199929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":37,"alternative-id":["10.1145\/3385412.3386007","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386007","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}