[logic-ml] Talk by Tarmo Uustalu, Friday this week

[Ichiro Hasuo]

Dear all,

Friday this week we have Tarmo Uustalu from Institute of Cybernetics,
Tallinn, Estonia visiting us in U Tokyo and making a talk.
No registration needed. See you there!

Best regards,
Ichiro Hasuo
http://www-mmm.is.s.u-tokyo.ac.jp/

________________________________

Fri 4 October 2013, 17:00-18:00

Tarmo Uustalu (Institute of Cybernetics, Tallinn),
Update Monads: Cointerpreting Directed Containers

理学部7号館1階 102教室   Room 102, School of Science Bldg. No. 7
アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html
Access: http://www-mmm.is.s.u-tokyo.ac.jp/

We introduce update monads as a generalization of state monads. Update
monads are compatible compositions of reader and writer monads given
by a set and a monoid. Distributive laws between such monads are given
by monoid actions.

We also discuss a dependently typed generalization of update monads.
Unlike simple update monads, those cannot be factored into a reader
and writer monad.

Dependently typed update monads arise from cointerpreting directed
containers, by which we mean interpreting the opposite of the category
directed containers into the category of set functors.

(Joint work with Danel Ahman, University of Edinburgh.)