Researcher profile
Guillaume Boisseau
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)
2018 · Proceedings of the ACM on Programming Languages
Profunctor optics are a neat and composable representation of bidirectional data accessors, including lenses, and their dual, prisms. The profunctor representation exploits higher-order functions and higher-kinded type constructor classes, but the relationship between this and …
-
String Diagrammatic Electrical Circuit Theory
2022 · Electronic Proceedings in Theoretical Computer Science
We develop a comprehensive string diagrammatic treatment of electrical circuits. Building on previous, limited case studies, we introduce controlled sources and meters as elements, and the impedance calculus, a powerful toolbox for diagrammatic reasoning on …