Integrating Across Application, Model, Algorithm, Compilation, and Error Correction Chasms With Quantum Type Theory

Eugene Dumitrescu

Type: Preprint

Publication Date: 2023-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2305.00144

View Publication

Locations

arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Q#	2018	Krysta M. Svore Alan Geller Matthias Troyer John Azariah Christopher Granade Bettina Heim Vadym Kliuchnikov Mariia Mykhailova Andres Paz Martin Roetteler
+ PDF Chat	𝐶𝑙𝑎𝑠𝑠𝑖\|𝑄⟩: Towards a Translation Framework to Bridge the Classical-Quantum Programming Gap	2024	Matteo Esposito Maryam Tavassoli Sabzevari B. L. Ye Davide Falessi Arif Ali Khan Davide Taibi
+ PDF Chat	ScaffCC: Scalable compilation and analysis of quantum programs	2014	Ali Javadi-Abhari Shruti Patil Daniel Kudrow Jeff Heckey А. А. Львов Frederic T. Chong Margaret Martonosi
+ PDF Chat	LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended)	2024	Scott Wesley
+ PDF Chat	Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0	2024	Sean Kim Marcus Edwards
+ PDF Chat	Qcompiler: Quantum compilation with the CSD method	2012	Y.G. Chen Jingbo Wang
+ PDF Chat	Uncomputation in the Qrisp High-Level Quantum Programming Framework	2023	Raphael Seidel Nikolay Tcholtchev Sebastian Bock Manfred Hauswirth
+	Q# as a Quantum Algorithmic Language	2022	Kartik Singhal Kesha Hietala Sarah Marshall Robert W. Rand
+ PDF Chat	Q# as a Quantum Algorithmic Language	2023	Kartik Singhal Kesha Hietala Sarah Marshall Robert W. Rand
+	Static Analysis of Quantum Programs via Gottesman Types	2021	Robert W. Rand Aarthi Sundaram Kartik Singhal Brad Lackey
+	Algebraic and Logical Methods in Quantum Computation	2015	Neil J. Ross
+	Qumin, a minimalist quantum programming language	2017	Alexander Singh Konstantinos Giannakis Theodore Andronikos
+ PDF Chat	Qunity: A Unified Language for Quantum and Classical Computing	2023	Finn Voichick Liyi Li Robert W. Rand Michael Hicks
+ PDF Chat	Expressing and Analyzing Quantum Algorithms with Qualtran	2024	Matthew P. Harrigan Tanuj Khattar Charles Yuan Anurudh Peduri Noureldin Yosri Fionn D. Malone Ryan Babbush Nicholas C. Rubin
+	Qumin, a minimalist quantum programming language.	2017	Alexander Singh Konstantinos Giannakis Theodore Andronikos
+	Formal Methods for Quantum Programs: A Survey	2021	Christophe Chareton Sébastien Bardin Dong-Ho Lee Benoît Valiron Renaud Vilmart Zhaowei Xu
+ PDF Chat	Quipper	2013	Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoît Valiron
+ PDF Chat	Sized Types for Low-Level Quantum Metaprogramming	2019	Matthew Amy
+ PDF Chat	Tetris: A Compilation Framework for VQA Applications in Quantum Computing	2024	Yuwei Jin Zirui Li Fei Hua Tianyi Hao Huiyang Zhou Yipeng Huang Eddy Z. Zhang
+	Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)	2022	Finn Voichick Liyi Li Robert W. Rand Michael Hicks

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors