How to contain monads

Tarmo Uustalu

Institute of Cybernetics

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.

Tarmo Uustalu
Last update 1.10.2013