A Brief Survey of Quantum Programming Languages

  • Peter Selinger
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2998)


This article is a brief and subjective survey of quantum programming language research.




Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abramsky, S., Coecke, B.: Physical traces: Quantum vs. classical information processing. In: Blute, R., Selinger, P. (eds.) Proceedings of Category Theory and Computer Science, CTCS 2002. ENTCS, vol. 69. Elsevier, Amsterdam (2003)Google Scholar
  2. 2.
    Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. arXiv:cs.PL/0103009 v2 (November 2001)Google Scholar
  3. 3.
    Cleve, R.: An introduction to quantum complexity theory. In: Macchiavello, C., Palma, G., Zeilinger, A. (eds.) Collected Papers on Quantum Computation and Quantum Information Theory, pp. 103–127. World Scientific, Singapore (2000)Google Scholar
  4. 4.
    Coecke, B., Martin, K.: A partial order on classical and quantum states. Technical report, Oxford University Computing Laboratory (2002) PRG-RR-02-07Google Scholar
  5. 5.
    Edalat, A.: An extension of Gleason’s theorem for quantum computation (2003), http://www.doc.ic.ac.uk/~ae/papers.html
  6. 6.
    Freedman, M.H., Kitaev, A., Wong, Z.: Simulation of topological field theories by quantum computers. arXiv:quant-ph/0001071/ v3 (March 2000)Google Scholar
  7. 7.
    Girard, J.-Y.: Linear logic. Theoretical Comput. Sci. 50, 1–102 (1987)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Girard, J.-Y.: Between logic and quantic: a tract (October 2003) (manuscript) Google Scholar
  9. 9.
    Knill, E.H.: Conventions for quantum pseudocode. LANL report LAUR-96-2724 (1996)Google Scholar
  10. 10.
    Ömer, B.: A procedural formalism for quantum computing. Master’s thesis, Department of Theoretical Physics, Technical University of Vienna (July 1998), http://tph.tuwien.ac.at/~oemer/qcl.html
  11. 11.
    Preskill, J.: Quantum information and computation, California Institute of Technology. Lecture Notes for Physics, vol. 229 (1998)Google Scholar
  12. 12.
    Sabry, A.: Modeling quantum computing in Haskell. In: ACM SIGPLAN Haskell Workshop (2003)Google Scholar
  13. 13.
    Sanders, J.W., Zuliani, P.: Quantum programming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol. 1837, pp. 80–99. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  14. 14.
    Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science (to appear)Google Scholar
  15. 15.
    Shor, P.: Algorithms for quantum computation: discrete log and factoring. In: Proceedings of the 35th IEEE FOCS, pp. 124–134 (1994)Google Scholar
  16. 16.
    van Tonder, A.: A lambda calculus for quantum computation. arXiv:quant-ph/ 0307150/ v4 (December 2003)Google Scholar
  17. 17.
    van Tonder, A.: Quantum computation, categorical semantics and linear logic. arXiv:quant-ph/0312174/ v1 (December 2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Peter Selinger
    • 1
  1. 1.Department of MathematicsUniversity of OttawaOttawaCanada

Personalised recommendations