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.LO2025
Denotational semantics for stabiliser quantum programs
Robert I. Booth, Cole Comfort
The stabiliser fragment of quantum theory is a foundational building block for quantum error correction and the fault-tolerant compilation of quantum programs. In this article, we…