Guillaume Boisseau

12 papers B 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Charon: An Analysis Framework for Rust.
CAV (4)
Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko
2024 J jnl
Charon: An Analysis Framework for Rust.
CoRR
Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko
2022 — conf
Cornering Optics.
ACT
Guillaume Boisseau, Chad Nester, Mario Román
2022 B conf
Graphical Piecewise-Linear Algebra.
FoSSaCS
Guillaume Boisseau, Robin Piedeleu
2021 J jnl
Diagrammatic Polyhedral Algebra.
CoRR
Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
2021 J jnl
Graphical Piecewise-Linear Algebra.
CoRR
Guillaume Boisseau, Robin Piedeleu
2021 — conf
String Diagrammatic Electrical Circuit Theory.
ACT
Guillaume Boisseau, Pawel Sobocinski
2020 B conf
String Diagrams for Optics.
FSCD
Guillaume Boisseau
2020 — conf
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures.
ACT
Matthew Wilson, James Hefford, Guillaume Boisseau, Vincent Wang
2020 J jnl
Understanding Profunctor Optics: a representation theorem.
CoRR
Guillaume Boisseau
2018 — conf
Understanding profunctor optics: a representation theorem (extended abstract).
Programming
Guillaume Boisseau
2018 J jnl
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl).
Proc. ACM Program. Lang.
Guillaume Boisseau, Jeremy Gibbons