conf.researchr.org / Guillaume Boisseau

Registered user since Sun 20 May 2018

Name: Guillaume Boisseau

Affiliation: University of Oxford

Contributions

Bx 2018 Author of Profunctor Optics and the Yoneda Lemma within the Bx 2018-track
Author of Understanding Profunctor Optics: a representation theorem within the Bx 2018-track
ICFP 2018 Author of What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl) within the Research Papers-track