A functional quantum programming language

A functional quantum programming language

This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are inte...

Full description

Bibliographic Details
Main Author: Grattage, Jonathan James
Format: Thesis (University of Nottingham only)
Language:English
Published: 2006
Subjects:
QML
quantum programming
quantum programming language
functional programming
quantum functional programming
quantum circuits
quantum circuit model
QPL
FQC
FCC
FxC
Finite Quantum Computation
Finite Classical Computation
Finite Computation
reversible quantum computation
reversible classical computation
reversible computation
category theory
denotational semantics
operational semantics
linear algebra
Haskell
superoperators
super-operators
super operators
irreversible quantum computation
irreversible classical computation
irreversible computation
categorical semantics
Deutsch Algorith
Shor's Algorithm
Quantum Teleportation
quantum Fourier transform
quantum data
quantum control
syntax and typing rules.
Online Access:https://eprints.nottingham.ac.uk/10250/

Internet

https://eprints.nottingham.ac.uk/10250/

Similar Items