{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:39:03Z","timestamp":1752550743856,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,22]],"date-time":"2013-09-22T00:00:00Z","timestamp":1379808000000},"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,9,22]]},"DOI":"10.1145\/2505351.2505357","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"19-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["QuaFL"],"prefix":"10.1145","author":[{"given":"Andrei","family":"Lapets","sequence":"first","affiliation":[{"name":"Raytheon BBN Technologies, Boston, MA, USA"}]},{"given":"Marcus P.","family":"da Silva","sequence":"additional","affiliation":[{"name":"Raytheon BBN Technologies, Boston, MA, USA"}]},{"given":"Mike","family":"Thome","sequence":"additional","affiliation":[{"name":"Raytheon BBN Technologies, Boston, MA, USA"}]},{"given":"Aaron","family":"Adler","sequence":"additional","affiliation":[{"name":"Raytheon BBN Technologies, Boston, MA, USA"}]},{"given":"Jacob","family":"Beal","sequence":"additional","affiliation":[{"name":"Raytheon BBN Technologies, Boston, MA, USA"}]},{"given":"Martin","family":"Roetteler","sequence":"additional","affiliation":[{"name":"NEC Laboratories America, Princeton, NJ, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,9,22]]},"reference":[{"volume-title":"a tool for displaying, editing, and simulating quantum circuits","year":"2012","key":"e_1_3_2_1_1_1","unstructured":"QCViewer : a tool for displaying, editing, and simulating quantum circuits , 2012 . Available at http:\/\/qcirc.iqc.uwaterloo.ca\/. QCViewer: a tool for displaying, editing, and simulating quantum circuits, 2012. Available at http:\/\/qcirc.iqc.uwaterloo.ca\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001258"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"e_1_3_2_1_4_1","volume-title":"Every nand formula of size n can be evaluated in time n(1=2)+o(1) on a quantum computer. arXiv:quant-ph\/0703015v3","author":"Childs A. M.","year":"2007","unstructured":"A. M. Childs , B. W. Reichardt , R. Spalek , and S. Zhang . Every nand formula of size n can be evaluated in time n(1=2)+o(1) on a quantum computer. arXiv:quant-ph\/0703015v3 , 2007 . A. M. Childs, B. W. Reichardt, R. Spalek, and S. Zhang. Every nand formula of size n can be evaluated in time n(1=2)+o(1) on a quantum computer. arXiv:quant-ph\/0703015v3, 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1992.0167"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02650179"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005378"},{"key":"e_1_3_2_1_9_1","volume-title":"February","author":"Grattage J.","year":"2005","unstructured":"J. Grattage and T. Altenkirch . Qml: Quantum data and control. submitted for publication , February 2005 . J. Grattage and T. Altenkirch. Qml: Quantum data and control. submitted for publication, February 2005."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292546"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TOPI.2013.6597189"},{"key":"e_1_3_2_1_13_1","volume-title":"Encyclopedia of Complexity and Systems Science","author":"Mosca M.","year":"2009","unstructured":"M. Mosca . Quantum algorithms . In Encyclopedia of Complexity and Systems Science . Springer , 2009 . M. Mosca. Quantum algorithms. In Encyclopedia of Complexity and Systems Science. Springer, 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.02.003"},{"key":"e_1_3_2_1_17_1","first-page":"347","volume-title":"Linear types can change the world! In M","author":"Wadler P.","year":"1990","unstructured":"P. Wadler . Linear types can change the world! In M . Broy and C. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 347 -- 359 . North Holland, 1990 . URL http:\/\/citeseer.nj.nec.com\/wadler90linear.html. P. Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 347--359. North Holland, 1990. URL http:\/\/citeseer.nj.nec.com\/wadler90linear.html."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1038\/299802a0"}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston Massachusetts USA","acronym":"ICFP'13"},"container-title":["Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505351.2505357","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2505351.2505357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:57Z","timestamp":1750231737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505351.2505357"}},"subtitle":["a typed DSL for quantum programming"],"short-title":[],"issued":{"date-parts":[[2013,9,22]]},"references-count":17,"alternative-id":["10.1145\/2505351.2505357","10.1145\/2505351"],"URL":"https:\/\/doi.org\/10.1145\/2505351.2505357","relation":{},"subject":[],"published":{"date-parts":[[2013,9,22]]},"assertion":[{"value":"2013-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}