Towards a quantum programming language

  title={Towards a quantum programming language},
  author={Peter Selinger},
  journal={Mathematical Structures in Computer Science},
We propose the design of a programming language for quantum computing. Traditionally, quantum algorithms are frequently expressed at the hardware level, for instance in terms of the quantum circuit model or quantum Turing machines. These approaches do not encourage structured programming or abstractions such as data types. In this paper, we describe the syntax and semantics of a simple quantum programming language with high-level features such as loops, recursive procedures, and structured data… CONTINUE READING
Highly Influential
This paper has highly influenced 48 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 330 citations. REVIEW CITATIONS
212 Citations
9 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 212 extracted citations

331 Citations

Citations per Year
Semantic Scholar estimates that this publication has 331 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-9 of 9 references

A procedural formalism for quantum computing. Master’s thesis, Department of Theoretical Physics

  • B. Ömer
  • Technical University of Vienna,
  • 1998
Highly Influential
6 Excerpts

Quantum programming

  • J. W. Sanders
  • Mathematics of Program Construction , Springer…
  • 1998

Traced monoidal categories

  • R. Street A. Joyal, D. Verity
  • Mathematical Proceedings of the Cambridge…
  • 1997

Similar Papers

Loading similar papers…