Welcome to Quantum Programming Languages & Verification Bibliography.

Our goal is to provide canonical bibentries in BibTeX and BibLaTeX formats.

Please see the Contributing Guide or use this form if you would like to add/correct any entries.

Recent Publications

Quickly discover relevant papers by filtering publications.
(2023). Q# as a Quantum Algorithmic Language. Proceedings 19th International Conference on Quantum Physics and Logic, Wolfson College, Oxford, UK, 27 June–1 July 2022.

Cite DOI URL

(2023). Modular Component-Based Quantum Circuit Synthesis. Proceedings of the ACM on Programming Languages.

Cite DOI URL