A compiler for a functional quantum programming language

  title={A compiler for a functional quantum programming language},
  author={Jonathan Grattage and Thorsten Altenkirch},
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. 

From This Paper

Topics from this paper.
6 Citations
8 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…