Skip to main content

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",
}