Guillaume Boisseau

According to our database, Guillaume Boisseau authored at least 10 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Charon: An Analysis Framework for Rust.

Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko

CoRR, 2024

2022

Cornering Optics.

Guillaume Boisseau, Chad Nester, Mario Román

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Graphical Piecewise-Linear Algebra.

Guillaume Boisseau, Robin Piedeleu

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

String Diagrammatic Electrical Circuit Theory.

Guillaume Boisseau, Pawel Sobocinski

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Diagrammatic Polyhedral Algebra.

Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski

CoRR, 2021

2020

The Safari of Update Structures: Visiting the Lens and Quantum Enclosures.

Matthew Wilson, James Hefford, Guillaume Boisseau, Vincent Wang

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Understanding Profunctor Optics: a representation theorem.

Guillaume Boisseau

CoRR, 2020

String Diagrams for Optics.

Guillaume Boisseau

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2018

What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl).

Guillaume Boisseau, Jeremy Gibbons

Proc. ACM Program. Lang., 2018

Understanding profunctor optics: a representation theorem (extended abstract).

Guillaume Boisseau

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018