An overview of QML with a concrete implementation in Haskell
| dc.creator | Grattage, Jonathan | |
| dc.date | 2008-06-17 | |
| dc.date | 2008-07-21 | |
| dc.date.accessioned | 2026-07-07T09:51:32Z | |
| dc.date.available | 2026-07-07T09:51:32Z | |
| dc.description | This paper gives an introduction to and overview of the functional quantum programming language QML. The syntax of this language is defined and explained, along with a new QML definition of the quantum teleport algorithm. The categorical operational semantics of QML is also briefly introduced, in the form of annotated quantum circuits. This definition leads to a denotational semantics, given in terms of superoperators. Finally, an implementation in Haskell of the semantics for QML is presented as a compiler. The compiler takes QML programs as input, which are parsed into a Haskell datatype. The output from the compiler is either a quantum circuit (operational), an isometry (pure denotational) or a superoperator (impure denotational). Orthogonality judgements and problems with coproducts in QML are also discussed. | |
| dc.description | 9 pages, final conference version (Quantum Physics and Logic 2008) | |
| dc.identifier | https://arxiv.org/abs/0806.2735 | |
| dc.identifier | http://arxiv.org/abs/0806.2735 | |
| dc.identifier | ENTCS: Proceedings of QPL V - DCV IV, 157-165, Reykjavik, Iceland, 2008 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/165283 | |
| dc.subject | Quantum Physics | |
| dc.subject | Programming Languages | |
| dc.title | An overview of QML with a concrete implementation in Haskell | |
| dc.type | text |