Monads and Lenses

Add to your list(s) Download to your calendar using vCal

• James Cheney, University of Edinburgh
• Friday 07 April 2017, 14:00-15:00
• FW26.

If you have a question about this talk, please contact Dominic Mulligan.

Monads are an abstraction that can be used to mathematically model computational effects (among other things). Lenses are an abstraction for bidirectional computation, a generalization of the view-update problem. In this talk I will discuss how to combine them and why it might be interesting to do so.

This talk is on joint work with Faris Abou-Saleh, Jeremy Gibbons, James McKinna and Perdita Stevens conducted as part of the recently-concluded project “A theory of least change for bidirectional transformations”.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.