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]

S

[SabryA:modqch] Amr Sabry. Modelling quantum computing in Haskell. In Proceedings of the ACM SIGPLAN Workshop on Haskell. ACM Press, 2003. Available here.

[SandersJW:quap] Jeff W. Sanders and Paolo Zuliani. Quantum programming. In Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science, pages 80-99. Springer, 2000.

[SelingerP:lamcqc] Peter Selinger and Benoˆ}t Valiron.A lambda calculus for quantum computation with classical control. In Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA), volume 3461 of Lecture Notes in Computer Science. Springer, 2005. Available here.

[SelingerP:lamcqcfull] Peter Selinger and Benoˆ}t Valiron.A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science, 16(3):527-552, 2006. Available here.

[SelingerP:brisqp] Peter Selinger. A brief survey of quantum programming languages. In Proceedings of the 7th International Symposium on Functional and Logic Programming, volume 2998 of Lecture Notes in Computer Science, pages 1-6. Springer, 2004. Available here.

[SelingerP:qpl2004] Peter Selinger, editor. Proceedings of the 2nd International Workshop on Quantum Programming Languages, number 33 in TUCS General Publications. Turku Centre for Computer Science, 2004. Available here.

[SelingerP:towqpl] Peter Selinger. Towards a quantum programming language. Mathematical Structures in Computer Science, 14(4):527-586, 2004. Available here.

[SelingerP:towshq] Peter Selinger. Towards a semantics for higher-order quantum computation. In Proceedings of the 2nd International Workshop on Quantum Programming Languages [SelingerP:qpl2004]. Available here.

[SelingerP:dagccc] Peter Selinger. Dagger compact closed categories and completely positive maps: (extended abstract). In Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), volume 170 of Electronic Notes in Theoretical Computer Science, pages 139-163, 2007. Available here.

[SelingerP:qpl2005] Peter Selinger, editor. Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science. Elsevier Science, 2007. Available here.

[SilvaM:dirafm] Marcus Silva, Vincent Danos, Elham Kashefi, and Harold Ollivier. A direct approach to fault-tolerance in measurement-based quantum computation via teleportation. arXiv:quant-ph/0611273, 2006.

[SkibinksiJ:hassqc] Jan Skibiński. Haskell simulator of quantum computer. Available from http://web.archive.org/web/20010630025035/ www.numeric-quest.com/haskell/index.html, 2001.Available here.

[SvoreK:towsaq] Krysta Svore, Andrew Cross, Alfred Aho, Isaac Chuang, and Igor Markov. Toward a software architecture for quantum computing design tools. In Selinger [SelingerP:qpl2004]. 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