Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
Robert S. Smith
Latest
An Open-Source, Industrial-Strength Optimizing Compiler for Quantum Programs
A Practical Quantum Instruction Set Architecture
Cite
×