casino usa downloads top online casinos for us players gamble online mastercard online slots real money usa best video poker strategy blackjack play for money real money blackjack rated online casino south africa 900pay casino deposit

Welcome to the QML Project

A functional quantum programming language

Home to the QML Research Diary

QML is a functional language for quantum computations on finite types. The language introduces quantum data and quantum control structures, and integrates reversible and irreversible quantum computation. QML is based on strict linear logic, hence weakenings, which may lead to decoherence, have to be explicit.

The design of QML is guided by its categorical semantics: QML programs are interpreted as morphisms in the category FQC of Finite Quantum Computations. This provides a constructive semantics of irreversible quantum computations realisable as quantum gates. The relationships between the category FQC and its classical reversible counterpart, FCC (Finite Classical Computations), are also explored.

The operational semantics of QML programs is presented using standard quantum circuits, while a denotational semantics is given using superoperators.

This research has been supported by the EPSRC, via the MathFIT initiative, grant number GR/S30818/01. We are also involved in the EPSRC research network on the Semantics of Quantum Computation (QNET).




Drafts & Coming Soon

  • QML: Quantum data and control [old], by Jonathan Grattage and Thorsten Altenkirch. Currently under revision. This is a much more recent update that expands upon the first author's thesis. The compositionality section is awaiting completion.
  • Compositionality for QML, by Jonathan Grattage. Currently under preparation. Outlined in the authors thesis.