12 citations · 12 across the 4 of their papers we have counts for
4 papers
Imperative Quantum Programming with Ownership and Borrowing in Guppy
Mark Koch, Agustín Borgna, Craig Roy +4
Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. Th…
HUGR: A Quantum-Classical Intermediate Representation
Mark Koch, Agustín Borgna, Seyon Sivarajah +7
We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR's design features high…
Encoding High-level Quantum Programs as SZX-diagrams
Augustin Borgna, Rafael Romero
The Scalable ZX-calculus is a compact graphical language used to reason about linear maps between quantum states. These diagrams have multiple applications, but they frequently hav…
Hybrid quantum-classical circuit simplification with the ZX-calculus
Agustín Borgna, Simon Perdrix, Benoît Valiron
We present a complete optimization procedure for hybrid quantum-classical circuits with classical parity logic. While common optimization techniques for quantum algorithms focus on…