Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
Page not found
Perhaps you were looking for one of these?
Latest
Q# as a Quantum Algorithmic Language
Publications
Synthesizing Quantum-Circuit Optimizers
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Modular Component-Based Quantum Circuit Synthesis
Recent & Upcoming Events
Quantum at POPL 2023
Qunity: A Unified Language for Quantum and Classical Computing
Proto-Quipper with Dynamic Lifting
CoqQ: Foundational Verification of Quantum Programs
Cite
×