Bibliography on Quantum Programming Languages

This bibliography was originally compiled in association with my article Quantum Programming Languages: Survey and Bibliography (Mathematical Structures in Computer Science 16(4), 2006). Its original topic was quantum programming languages, but this has widened to include semantics of quantum computation and structural approaches to quantum computing.

The complete bibliography as a BibTeX file is here.

The authors of the papers, with links to their home pages, are listed here.

Please send me details of any corrections or omissions: simon at dcs.gla.ac.uk. I will do my best to keep the bibliography up to date.

The tools for processing the bibliography into HTML and for searching were developed by Richard Jones.

Simon Gay

Last updated 22 May 2007.

[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

V

[ValironB:funplq] Benoît Valiron. A functional programming language for quantum computation with classical control. Master's thesis, University of Ottawa, 2004. Available here.

[ValironB:quat] Benoît Valiron. Quantum typing. In Selinger [SelingerP:qpl2004]. Available here.

[vanTonderA:quaccs] André van Tonder. Quantum computation, categorical semantics and linear logic. arXiv:quant-ph/0312174, 2003. Available here.

[vanTonderA:lamcqc] André van Tonder. A lambda calculus for quantum computation. SIAM Journal on Computing, 33(5):1109-1135, 2004. Also arXiv:quant-ph/0307150. Available here.

[VizzottoJK:strqes] Juliana Kaizer Vizzotto, Thorsten Altenkirch, and Amr Sabry. Structuring quantum effects: Superoperators as arrows. Mathematical Structures in Computer Science, 16(3), 2006. Also arXiv:quant-ph/0501151.

[VizzottoJK:conqph] Juliana Kaizer Vizzotto and Antônio Carlos da Rocha Costa. Concurrent quantum programming in Haskell. In VII Congresso Brasileiro de Redes Neurais, Sessão de Computação Quântica., 2005. Available here.

[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

This file was generated by bib2htmlwritten by
Richard Jones
University of Kent at Canterbury