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]

G

[GaySJ:qmcmcq] Simon J. Gay, Nikolaos Papanikolaou, and Rajagopal Nagarajan. QMC: a model checker for quantum systems. arXiv:0704.3705, 2007. Also Research Report RR432, Department of Computer Science, University of Warwick. Available here.

[GaySJ:comqp] Simon J. Gay and Rajagopal Nagarajan. Communicating quantum processes. In Proceedings of the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM Press, 2005. Preliminary version in [SelingerP:qpl2004]; also arXiv:quant-ph/0409052. Available here.

[GaySJ:typcqp] Simon J. Gay and Rajagopal Nagarajan. Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science, 16(3):375-406, 2006. Available here.

[GaySJ:quapls] Simon J. Gay. Quantum programming languages: Survey and bibliography. Mathematical Structures in Computer Science, 16(4), 2006. Available here.

[GirardJY:betlqt] Jean-Yves Girard. Between logic and quantic: a tract. In Linear Logic in Computer Science, number 316 in London Mathematical Society Lecture Notes, pages 346-381. Cambridge University Press, 2004. Available here.

[GlendinningI:quaplt] Ian Glendinning. Quantum programming languages and tools, 2005. Online catalogue. Available here.

[GoughA:quaep] Alex Gough. Perl module Quantum::Entanglement.Available from www.perl.com/pub/a/2001/08/08/quantum.html, 2001.Available here.

[GradelE:quacas] Erich Grädel and Antje Nowack. Quantum computing and abstract state machines. In Abstract State Machines - Advances in Theory and Applications, number 2589 in Lecture Notes in Computer Science, pages 309-323. Springer, 2003.

[GrattageJ:comfqp] Jonathan Grattage and Thorsten Altenkirch. A compiler for a functional quantum programming language. Manuscript, 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