Understanding profunctor optics: a representation theorem (extended abstract). - Guillaume Boisseau (Programming, 2018)

What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl). - Guillaume Boisseau; Jeremy Gibbons (Proc. ACM Program. Lang., 2018)

String Diagrams for Optics. - Guillaume Boisseau (FSCD, 2020)

Understanding Profunctor Optics: a representation theorem. - Guillaume Boisseau (CoRR, 2020)

The Safari of Update Structures: Visiting the Lens and Quantum Enclosures. - Matthew Wilson; James Hefford; Guillaume Boisseau; Vincent Wang 001 (ACT, 2020)

Diagrammatic Polyhedral Algebra. - Guillaume Boisseau; Filippo Bonchi; Alessandro Di Giorgio 002; Pawel Sobocinski 001 (CoRR, 2021)

String Diagrammatic Electrical Circuit Theory. - Guillaume Boisseau; Pawel Sobocinski 001 (ACT, 2021)

Graphical Piecewise-Linear Algebra. - Guillaume Boisseau; Robin Piedeleu (FoSSaCS, 2022)

Cornering Optics. - Guillaume Boisseau; Chad Nester; Mario Román (ACT, 2022)

Charon: An Analysis Framework for Rust. - Son Ho; Guillaume Boisseau; Lucas Franceschino; Yoann Prak; Aymeric Fromherz; Jonathan Protzenko (CAV (4), 2025)