Jeremy Gibbons
Lenses are Coalgebras for the Costate Comonad
BX, 2011.
@inproceedings{BX-2011-Gibbons1, address = "Dagstuhl, Germany", author = "Jeremy Gibbons", booktitle = "{Proceedings of the Dagstuhl Seminar 11031 on Bidirectional Transformations}", editor = "Zhenjiang Hu and Andy Schürr and Perdita Stevens and James Terwilliger", month = "jan", number = 1, pages = "56", publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}", series = "{Dagstuhl Reports}", title = "{Lenses are Coalgebras for the Costate Comonad}", volume = 1, year = 2011, }