3 papers
cs.LO2025
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…
cs.LO2024
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…