3 citations · 3 across the 2 of their papers we have counts for
5 papers
Charon: An Analysis Framework for Rust
Son Ho, Guillaume Boisseau, Lucas Franceschino +3
With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosyst…
Graphical Piecewise-Linear Algebra
Guillaume Boisseau, Robin Piedeleu
Graphical (Linear) Algebra is a family of diagrammatic languages allowing to reason about different kinds of subsets of vector spaces compositionally. It has been used to model var…
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures
Matthew Wilson, James Hefford, Guillaume Boisseau +1
We build upon our recently introduced concept of an update structure to show that it is a generalisation of very-well-behaved lenses, that is, there is a bijection between a strict…
String Diagrams for Optics
Guillaume Boisseau
Optics are a data representation for compositional data access, with lenses as a popular special case. Hedges has presented a diagrammatic calculus for lenses, but in a way that do…
Understanding Profunctor Optics: a representation theorem
Guillaume Boisseau
Optics, aka functional references, are classes of tools that allow composable access into compound data structures. Usually defined as programming language libraries, they provide…