{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T00:48:56Z","timestamp":1773190136071,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,13]]},"DOI":"10.1145\/3679007.3685063","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:13:29Z","timestamp":1726211609000},"page":"65-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6042-0387","authenticated-orcid":false,"given":"Christopher John","family":"Wright","sequence":"first","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0842-1083","authenticated-orcid":false,"given":"Mikel","family":"Luj\u00e1n","sequence":"additional","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1497-6536","authenticated-orcid":false,"given":"Pavlos","family":"Petoumenos","sequence":"additional","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7920-8028","authenticated-orcid":false,"given":"John","family":"Goodacre","sequence":"additional","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"key":"e_1_3_2_1_2_1","unstructured":"Mahat Akhin and Mikhail et. al Belyaev. 2020. Kotlin language specification: Kotlin\/Core. https:\/\/kotlinlang.org\/spec\/introduction.html Last accessed: 21\/01\/2024."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412451.3428499"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"M. D. Sajid Anis H\u00e9ctor Abraham AduOffei Rochisha Agarwal Gabriele Agliardi Merav Aharoni Ismail Yunus Akhalwaya Gadi Aleksandrowicz Thomas Alexander Matthew Amy Sashwat Anagolum Eli Arbel Abraham Asfaw Anish Athalye Artur Avkhadiev Carlos Azaustre Prathamesh Bhole Abhik Banerjee Santanu Banerjee Will Bang Aman Bansal Panagiotis Barkoutsos Ashish Barnawal George Barron George S. Barron Luciano Bello Yael Ben-Haim M. Chandler Bennett Daniel Bevenius Dhruv Bhatnagar Arjun Bhobe Paolo Bianchini Lev S. Bishop Carsten Blank Sorin Bolos Soham Bopardikar Samuel Bosch Sebastian Brandhofer Brandon Sergey Bravyi Nick Bronn Fuller Bryce David Bucher Artemiy Burov Fran Cabrera Padraic Calpin Lauren Capelluto Jorge Carballo Gin\u00e9s Carrascal Adam Carriker Ivan Carvalho Adrian Chen Chun-Fu Chen Edward Chen Jielun Chen Richard Chen Franck Chevallier Kartik Chinda Rathish Cholarajan Jerry M. Chow Spencer Churchill CisterMoke Christian Claus Christian Clauss Caleb Clothier Romilly Cocking Ryan Cocuzzo Jordan Connor Filipe Correa Abigail J. Cross Andrew W. Cross Simon Cross Juan Cruz-Benito Chris Culver Antonio D. C\u00f3rcoles-Gonzales Navaneeth D Sean Dague Tareq El Dandachi Animesh N. Dangwal Jonathan Daniel Marcus Daniels Matthieu Dartiailh Abd\u00f3n Rodr\u00edguez Davila Faisal Debouni Anton Dekusar Amol Deshmukh Mohit Deshpande Delton Ding Jun Doi Eli M. Dow Eric Drechsler Eugene Dumitrescu Karel Dumon Ivan Duran Kareem El-Safty Eric Eastman Grant Eberle Amir Ebrahimi Pieter Eendebak Daniel Egger et al. 2021. Qiskit: An Open-source Framework for Quantum Computing. (2021). 10.5281\/zenodo.2573505","DOI":"10.5281\/zenodo.2573505"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.26226\/morressier.613b5418842293c031b5b5dd"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"Benjamin Bichsel Maximilian Baader Timon Gehr and Martin Vechev. 2020. Silq: a high-level quantum language with safe uncomputation and intuitive semantics. ACM. 10.1145\/3385412.3386007","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3391699"},{"key":"e_1_3_2_1_10_1","unstructured":"MDN Contributors. 2023. JavaScript reference. https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/JavaScript\/Reference Last accessed: 21\/01\/2024."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3505636"},{"key":"e_1_3_2_1_13_1","unstructured":"Pierre Decoodt. 2019. qiskit-community-tutorials\/...\/W State 1 - Multi-Qubit Systems. https:\/\/github.com\/qiskit-community\/qiskit-community-tutorials\/blob\/master\/awards\/teach_me_qiskit_2018\/w_state\/W State 1 - Multi-Qubit Systems.ipynb Last accessed: 07\/11\/2023."},{"key":"e_1_3_2_1_14_1","unstructured":"ETH Z\u00fcrich. [n. d.]. Silq - Examples - Generate W State. https:\/\/silq.ethz.ch\/examples#\/examples\/2018_A4 Last accessed: 02\/04\/2024."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3587062.3587071"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01886518"},{"key":"e_1_3_2_1_17_1","unstructured":"Python Software Foundation. 2024. The Python Language Reference. https:\/\/docs.python.org\/3\/reference\/index.html Last accessed: 21\/01\/2024."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2419"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11831-019-09372-6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-04-15-433"},{"key":"e_1_3_2_1_21_1","unstructured":"Timothy David Goodrich. 2020. Practical Graph Algorithms with Applications in Near-Term Quantum Computing. Ph.D. https:\/\/www.proquest.com\/docview\/2407627362"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462177"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3201898"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","unstructured":"Lov K. Grover. 1996. A fast quantum mechanical algorithm for database search. (1996). 10.48550\/arXiv.quant-ph\/9605043","DOI":"10.48550\/arXiv.quant-ph\/9605043"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2023.3275868"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-020-00245-7"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-023-00603-1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2022.116512"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775053.2658776"},{"key":"e_1_3_2_1_31_1","unstructured":"Ali Javadi-Abhari. 2017. Towards a Scalable Software Stack for Resource Estimation and Optimization in General-Purpose Quantum Computers. (2017). https:\/\/dataspace.princeton.edu\/handle\/88435\/dsp01jq085n573"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.1331417"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1080\/00107151031000110776"},{"key":"e_1_3_2_1_34_1","volume-title":"A Portable Quantum Programming Framework  for Quantum Accelerators.  arXiv pre-print server","author":"Khammassi N.","year":"2020","unstructured":"N. Khammassi, I. Ashraf, J, R. Nane, A, M, L. Lao, K. Bertels, and C. 2020. OpenQL : A Portable Quantum Programming Framework for Quantum Accelerators. arXiv pre-print server (2020). https:\/\/arxiv.org\/abs\/2005.13283"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.5089550"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1140\/epjqt\/s40507-021-00113-y"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.3390\/app12020759"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-25-130"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","unstructured":"Zhaoqi Leng Pranav Mundada Saeed Ghadimi and Andrew Houck. 2019. Robust and efficient algorithms for high-dimensional black-box quantum optimization. (2019). 10.48550\/ARXIV.1910.03591","DOI":"10.48550\/ARXIV.1910.03591"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/abae7d"},{"key":"e_1_3_2_1_42_1","unstructured":"Alessandro Luongo. 2023. Quantum algorithms for data analysis. 275 pages. https:\/\/quantumalgorithms.org\/quantumalgorithms.pdf"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1103\/physrevresearch.3.023165"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05324-5"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1038\/npjqi.2015.5"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/2\/023023"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678563"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377816.3381731"},{"key":"e_1_3_2_1_50_1","unstructured":"E. Moguel J. Berrocal J. Garc\u00eda-Alonso and J. M. Murillo. 2020. A Roadmap for Quantum Software Engineering: Applying the Lessons Learned from the Classics. https:\/\/www.semanticscholar.org\/paper\/A-Roadmap-for-Quantum-Software-Engineering"},{"key":"e_1_3_2_1_51_1","volume-title":"Polynomial Selection for the Number Field Sieve  Integer Factorisation Algorithm.  Ph. D. Dissertation","author":"Murphy Brian Antony","unstructured":"Brian Antony Murphy. 1999. Polynomial Selection for the Number Field Sieve Integer Factorisation Algorithm. Ph. D. Dissertation. The Australian National University."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667"},{"key":"e_1_3_2_1_53_1","unstructured":"Oracle. 2013. Graal Project. https:\/\/openjdk.org\/projects\/graal\/ Last accessed: 10\/11\/2023."},{"key":"e_1_3_2_1_54_1","unstructured":"Oracle. 2023. GraalVM. https:\/\/www.graalvm.org\/ Last accessed: 10\/11\/2023."},{"key":"e_1_3_2_1_55_1","unstructured":"Oracle. 2023. Truffle Language Implementation Framework. https:\/\/www.graalvm.org\/graalvm-as-a-platform\/language-implementation-framework\/ Last visited: 25\/10\/23."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-019-09518-y"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454040"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms5213"},{"key":"e_1_3_2_1_59_1","unstructured":"Mario Piattini Guido Peterssen Nodarse Ricardo P\u00e9rez Castillo Jos\u00e9 Luis Hevia Oliver Manuel A. Serrano Guillermo Hern\u00e1ndez Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n Claudio Andr\u00e9s Paradela Macario Polo Usaola Ezequiel Murina Luis Jim\u00e9nez Juan Carlos Marque\u00f1o Gonz\u00e1lez Rams\u00e9s Gallego Jordi Tura Frank Phillipson Ju\u00e1n M. Murillo A. Ni\u00f1o and Mois\u00e9s Rodr\u00edguez. 2020. The Talavera Manifesto for Quantum Software Engineering and Programming. (2020). https:\/\/core.ac.uk\/display\/478202536?source=2"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","unstructured":"John Preskill. 2012. Quantum computing and the entanglement frontier. (2012). 10.48550\/ARXIV.1203.5813","DOI":"10.48550\/ARXIV.1203.5813"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_63_1","volume-title":"Locating Buggy Segments in Quantum Program  Debugging.  ArXiv abs\/2309.04266","author":"Sato Naoto","year":"2023","unstructured":"Naoto Sato and Ryota Katsube. 2023. Locating Buggy Segments in Quantum Program Debugging. ArXiv abs\/2309.04266 (2023). https:\/\/api.semanticscholar.org\/CorpusID:261660328"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"crossref","unstructured":"Raphael Seidel Nikolay Tcholtchev Sebastian Bock and Manfred Hauswirth. 2023. Uncomputation in\u00a0the\u00a0Qrisp High-Level Quantum Programming Framework. In Reversible Computation Martin Kutrib and Uwe Meyer (Eds.). Springer Nature Switzerland Cham 150\u2013165. isbn:978-3-031-38100-3","DOI":"10.1007\/978-3-031-38100-3_11"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548679"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.69.062321"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1142\/s0217979206034066"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"e_1_3_2_1_71_1","volume-title":"EQC : Ensembled Quantum Computing for Variational  Quantum Algorithms.","author":"Stein Samuel","year":"2021","unstructured":"Samuel Stein, Yufei Ding, Nathan Wiebe, Bo Peng, Karol Kowalski, Nathan Baker, James Ang, and Ang Li. 2021. EQC : Ensembled Quantum Computing for Variational Quantum Algorithms. (2021)."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1809.09732"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2022.08.003"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.92.177902"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571225"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509581"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480360.2384587"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571222"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.62.052316"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1142\/s0219749920500355"}],"event":{"name":"MPLR '24: 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","location":"Vienna Austria","acronym":"MPLR '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679007.3685063","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3679007.3685063","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:14Z","timestamp":1750294694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679007.3685063"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":77,"alternative-id":["10.1145\/3679007.3685063","10.1145\/3679007"],"URL":"https:\/\/doi.org\/10.1145\/3679007.3685063","relation":{},"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"2024-09-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}