Andrea Colledan

Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version)

2023 · arXiv (Cornell University)

Circuit description languages are a class of quantum programming languages in which programs are classical and produce a description of a quantum computation, in the form of a quantum circuit. Since these programs can leverage …