# 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]

[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 `bib2html`

written by

Richard Jones

University of Kent at Canterbury