![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Update monads: cointerpreting directed containers
Update monads: cointerpreting directed containersAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Paul Levy. I will talk about update monads, a generalization of reader and writer monads and a variation of state monads. An update monad is given by a set (of states), a monoid (of updates) and an action of the monoid on the set (defining the effect of every update on every state). Update monads are exactly the compatible compositions of reader and writer monads, which are in a bijection with distributive laws between reader and writer monads. State monads are canonically related to those update monads where the monoid of updates is the free monoid on the overwrite semigroup structure on the set of states. A finer dependently-typed variation of the concept has every state coming with its own set of enabled updates. Dependently typed update monads arise from “cointerpreting” directed containers This is joint work with Danel Ahman, University of Edinburgh. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsMidlands Logic Seminar Test Beverley GloverOther talksDisorder relevance for non-convex random gradient Gibbs measures in d=2 TBC Ultrafast, all-optical, and highly efficient imaging of molecular chirality Modelling uncertainty in image analysis. Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Sensing and metrology activities at NPL, India |