Get started
Author

Guillaume Boisseau

Observed name: Boisseau, Guillaume
ORCID: 0000-0001-5244-893X
Observed ORCID: 0000-0001-5244-893X
OpenAlex ID: A5056706196
String Diagrammatic Electrical Circuit Theory
2022 · Guillaume Boisseau, Paweł Sobociński · Electronic Proceedings in Theoretical Computer Science · 34
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)
2018 · Guillaume Boisseau, Jeremy Gibbons · Proceedings of the ACM on Programming Languages · 23
PDF
String Diagrams for Optics
2020 · Boisseau, Guillaume · arXiv (Cornell University) · 22
PDF
Graphical Piecewise-Linear Algebra
2022 · Guillaume Boisseau, Robin Piedeleu · Lecture notes in computer science · 11
PDF
Cornering Optics
2023 · Guillaume Boisseau, Chad Nester, et al. · Electronic Proceedings in Theoretical Computer Science · 8
PDF
Charon: An Analysis Framework for Rust
2025 · Son Ho, Guillaume Boisseau, et al. · Lecture notes in computer science · 4
PDF
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures
2021 · Matthew Wilson, James Hefford, et al. · Electronic Proceedings in Theoretical Computer Science · 4
Understanding Profunctor Optics: a representation theorem
2020 · Boisseau, Guillaume · arXiv (Cornell University) · 3
PDF
Diagrammatic Polyhedral Algebra.
2021 · Guillaume Boisseau, Filippo Bonchi, et al. · arXiv (Cornell University) · 1
Understanding profunctor optics: a representation theorem (extended abstract)
2018 · Guillaume Boisseau · International Conference on Art, Science, and Engineering of Programming (<Programming>) · 1
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
2026 · Ho, Son, Fournet, Cédric, et al. · arXiv (Cornell University)
PDF
HiRustVer: Industrial Rust Verification via Mature C Toolchains
2026 · Li, Guanyan, Zhang, Ling, et al. · Zenodo (CERN European Organization for Nuclear Research)
Works count: 14
Citation count: 111
H-index: 5
I10-index: 4
Year
Topic
Type