Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Compiler for a Functional Quantum Programming
 

Summary: Chapter 1
A Compiler for a Functional
Quantum Programming
Language
Jonathan Grattage and Thorsten Altenkirch
Abstract: We introduce a compiler for the functional quantum programming
language QML [1], developed in Haskell. The compiler takes QML expressions
as input and outputs a representation of quantum circuits (via the category FQC of
finite quantum computations) which can be simulated by the simulator presented
here, or by using a standard simulator for quantum gates. We discuss the structure
of the compiler and how the semantic rules are compiled.
1.1 INTRODUCTION
Quantum programming is now a firmly established field; see recent text books
as an example [2, 4] However, quantum programs are usually presented as low
level quantum gates. There are a number of proposals as to how best to integrate
quantum effects in a high level language, [5, 6, 7, 9], but none of them introduce
high level structures for quantum control and quantum data. In our previous paper
we introduced the language QML [1] which realizes quantum control structures
acting on quantum data, and which can, in principle, be translated in quantum
circuits. This paper explains in detail how a compiler, which translates QML

  

Source: Altenkirch, Thorsten - School of Computer Science, University of Nottingham

 

Collections: Computer Technologies and Information Sciences