Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
Andrea Colledan
Latest
Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)
Cite
×