According to our database1, Guillaume Boisseau authored at least 5 papers between 2018 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl).
Proc. ACM Program. Lang., 2018
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018