Thursday, 12 September 2013, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: I will recap containers to then discuss when a container is a monad. I will explain the workings of the data and laws of monadic containers on the examples of the list monad, leaf tree monads and reader/writer/update monads.