Guillaume Boisseau, Jeremy Gibbons
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)
ICFP, 2018.
@article{ICFP-2018-BoisseauG, author = "Guillaume Boisseau and Jeremy Gibbons", doi = "10.1145/3236779", journal = "{Proceedings of the ACM on Programming Languages}", number = "ICFP", pages = "27", title = "{What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)}", volume = 2, year = 2018, }