Jeremy Gibbons is a Professor of Computing at the University of Oxford.
On well-behaved lenses (in computer science) as the coalgebras over the costate comonad:
On optics (in computer science):
Last revised on March 5, 2024 at 09:24:21. See the history of this page for a list of all contributions to it.