Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
This conference talk presents a novel type system for the Quipper quantum programming language that enables flexible resource estimation of quantum circuits. Learn how researchers Andrea Colledan and Ugo Dal Lago from the University of Bologna and Inria developed a system to derive upper bounds on circuit size using various metrics including width, depth, and gate count. The approach combines effects and refinement types with indices (generic arithmetic expressions interpreted differently based on the target metric) to achieve remarkable flexibility. The presentation demonstrates how the QuRA tool implements this type system, showing that tight bounds can often be automatically inferred. The research contributes significantly to quantum computing resource analysis, with full details available in the accompanying paper. Presented at the POPL 2025 conference, this 19-minute talk is essential viewing for those interested in quantum programming languages, type systems, and resource estimation techniques.
