Abstract | ||
---|---|---|
In this work we introduce Qumin, a novel quantum programming language with a focus on providing an easy to use, minimalist, high-level, and easily extensible platform for quantum programming. Quminu0027s design concentrates on encompassing the various interactions between classical and quantum computation via the use of two sublanguages: an untyped one that handles classical preparation and control, and one linearly typed that explicitly handles quantum routines. This allows the classical part of the language to be freely used for general programming while placing restrictions on the quantum part that enforce rules of quantum computing like the no-cloning of qubits. We describe both the languageu0027s theoretical foundations in terms of lambda calculi and linear type systems, and more practical matters such as implementations of algorithms and useful programming tools like matrix and oracle generators that streamline the interaction of the classical and quantum fragments of a program. Finally, we provide an experimental open-source implementation of an interpreter, typechecker and related tools for the language (which can be found in url{this https URL}). |
Year | Venue | Field |
---|---|---|
2017 | arXiv: Programming Languages | Quantum programming,Programming language,Computer science,Quantum computer,Oracle,Theoretical computer science,Interpreter,Quantum information,Programming domain,Qubit,Language primitive |
DocType | Volume | Citations |
Journal | abs/1704.04460 | 0 |
PageRank | References | Authors |
0.34 | 8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexander Singh | 1 | 0 | 0.34 |
Konstantinos Giannakis | 2 | 12 | 5.82 |
Theodore Andronikos | 3 | 105 | 15.07 |