{"id":"arxiv/2607.09605","url":"https://arxiv.org/abs/2607.09605","tags":["cs.PL","cs.LO","quant-ph"],"score":0,"title":"Quantum Orchestras: a Concrete Semantics for Recursive Hybrid Programs","domain":"cs.PL","source":"arxiv","authors":["Alex Rice","Dominik Leichtle","Kim Worrall","Robert I. Booth"],"reviews":0,"subject":"cs.PL","summary":"Many production quantum programming languages represent hybrid quantum computations by extending a classical base language with a quantum effect, where qubits are addressed by reference, and quantum operations are understood to mutate some external quantum state. However, the semantics of this view of quantum computation remains underdeveloped, especially when the language allows mid-circuit measurements and non-termination. In this work, we provide a general method for building denotational semantics for such languages, by defining the quantum orchestra monad, which precisely captures this…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-10","reactions":{}}