Louis Lemonnier

14 papers A* 1B 3Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Quantum Circuits Are Just a Phase.
Proc. ACM Program. Lang.
Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice
2025 J jnl
A programming language combining quantum and classical control.
CoRR
Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev
2025 B conf
Combining quantum and classical control: syntax, semantics and adequacy.
FoSSaCS
Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev
2025 J jnl
One rig to control them all.
CoRR
Chris Heunen, Robin Kaarsgaard, Louis Lemonnier
2025 J jnl
Quantum circuits are just a phase.
CoRR
Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice
2024 J jnl
Non-Cartesian Guarded Recursion with Daggers.
CoRR
Louis Lemonnier
2024 B conf
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types.
FSCD
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
2024 J jnl
The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion.
CoRR
Louis Lemonnier
2024 — —
The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion. (De la sémantique des effets: centralité, contrôle quantique et récursivité réversible).
Louis Lemonnier
2023 A* conf
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.
LICS
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
2023 J jnl
Semantics for a Turing-complete Reversible Programming Language with Inductive Types.
CoRR
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
2022 J jnl
Central Submonads and Notions of Computation.
CoRR
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
2021 B conf
Categorical Semantics of Reversible Pattern-Matching.
MFPS
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
2020 — conf
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.
QPL
Louis Lemonnier, John van de Wetering, Aleks Kissinger