3 papers
cs.LO2026
Non-Cartesian Guarded Recursion with Daggers
Louis Lemonnier
Guarded recursion is a framework allowing for a formalisation of streams in classical (as opposed to concurrent, probabilistic, quantum) programming languages. The latter take thei…
cs.LO2026
One rig to control them all
Chris Heunen, Robin Kaarsgaard, Louis Lemonnier
Controlled commands -- computations whose execution depends on a separate input -- play a central role in reversible Boolean circuits and quantum circuits. However, existing formal…
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…