Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages

Andrea Colledan, Ugo Dal Lago

We introduce a type system for the Quipper language designed to derive upper bounds on the size of the circuits produced by the typed program. This size can be measured according t…