1. Coalgebraic update lenses;Ahman,2014
2. Update monads: cointerpreting directed containers;Ahman,2014
3. Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?;Behrisch,2012
4. Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem;Foster;ACM Trans. on Program. Lang. and Syst.,2007
5. Combining algebraic effects with continuations;Hyland;Theor. Comput. Sci.,2007