Guillaume Boisseau : Publications
Click here to download all publications in a single bibtex file
@article{boisseauStringDiagrammaticElectricalCircuitTheory2021, title = "String Diagrammatic Electrical Circuit Theory", author = "Boisseau, Guillaume and Sobociński, Paweł", year = "2021", copyright = "All rights reserved", journal = "arXiv:2106.07763 [cs, logic]", url = "https://arxiv.org/abs/2106.07763", }
@article{boisseauGraphicalPiecewiseLinearAlgebra2021, title = "Graphical {{Piecewise}}-{{Linear Algebra}}", author = "Boisseau, Guillaume and Piedeleu, Robin", year = "2021", copyright = "All rights reserved", journal = "arXiv:2111.03956 [cs, math]", url = "http://arxiv.org/abs/2111.03956", }
@inproceedings{StringDiagramsOptics2020, title = "String {{Diagrams}} for {{Optics}}", author = "Boisseau, Guillaume", year = "2020", address = "{Dagstuhl, Germany}", booktitle = "5th International Conference on Formal Structures for Computation and Deduction ({{FSCD}} 2020)", copyright = "All rights reserved", editor = "Ariola, Zena M.", isbn = "978-3-95977-155-9", issn = "1868-8969", pages = "17:1--17:18", publisher = "{Schloss Dagstuhl\textendash Leibniz-Zentrum f\"ur Informatik}", series = "Leibniz International Proceedings in Informatics ({{LIPIcs}})", volume = "167", doi = "10.4230/LIPIcs.FSCD.2020.17", }
@article{WhatYouNeeda2018, title = "What You Needa Know about {{Yoneda}}: Profunctor Optics and the Yoneda Lemma (Functional Pearl)", author = "Boisseau, Guillaume and Gibbons, Jeremy", year = "2018", address = "{New York, NY, USA}", copyright = "All rights reserved", journal = "Proc. ACM Program. Lang.", keywords = "composable references,Lens,optic,prism,profunctors,Yoneda Lemma", month = "jul", number = "ICFP", publisher = "{Association for Computing Machinery}", volume = "2", doi = "10.1145/3236779", }
@mastersthesis{boisseauUnderstandingProfunctorOptics2017, title = "Understanding {{Profunctor Optics}}: A Representation Theorem", author = "Boisseau, Guillaume", year = "2017", copyright = "All rights reserved", keywords = "clean", month = "sep", school = "University of Oxford", }