Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A functional quantum programming language Thorsten Altenkirch and Jonathan Grattage
 

Summary: A functional quantum programming language
Thorsten Altenkirch and Jonathan Grattage
School of Computer Science and IT, Nottingham University
email: {txa,jjg}@cs.nott.ac.uk
Abstract
We introduce the language QML, a functional language
for quantum computations on finite types. Its design is
guided by its categorical semantics: QML programs are
interpreted by morphisms in the category FQC of finite
quantum computations, which provides a constructive se-
mantics of irreversible quantum computations realisable as
quantum gates. QML integrates reversible and irreversible
quantum computations in one language, using first order
strict linear logic to make weakenings explicit. Strict pro-
grams are free from decoherence and hence preserve super-
positions and entanglement which is essential for quan-
tum parallelism.
1 Introduction
The discovery of efficient quantum algorithms by Shor
[18] and Grover [6] has triggered much interest in the field

  

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

 

Collections: Computer Technologies and Information Sciences