Showing cs.PLShow all
2 papers · 1 filter
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…
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…