2 papers
cs.PL2025
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…
cs.PL2025
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…