3 papers
cs.PL2026
Quantum Orchestras: a Concrete Semantics for Recursive Hybrid Programs
Alex Rice, Dominik Leichtle, Kim Worrall +1
Many production quantum programming languages represent hybrid quantum computations by extending a classical base language with a quantum effect, where qubits are addressed by refe…
quant-ph2026
Composing Quantum Instruments
Robert I. Booth, Dominik Leichtle, Alex Rice +1
We study the composition of classically-controlled quantum instruments--the natural quantum analogue of Markov kernels. Classically, Markov kernels compose by integrating one kerne…
cs.PL2025
Quantum Circuits Are Just a Phase
Chris Heunen, Louis Lemonnier, Christopher McNally +1
Quantum programs today are written at a low level of abstraction - quantum circuits akin to assembly languages - and the unitary parts of even advanced quantum programming language…