Interaction laws of monads and comonads

This page is for the tutorial of Dylan McDermott, Exequiel Rivas and Tarmo Uustalu at ICFP '21 in Daejon, 22-27 Aug. 2021.

The tutorial was delivered on 26 Aug.

• Tutorial materials
• Slides
• Haskell code
• Papers
• S. Katsumata, E. Rivas, T. Uustalu. Interaction laws of monads and comonads. LICS '20. [pdf]
• N. Voorneveld, T. Uustalu. Algebraic and coalgebraic perspectives on interaction laws. APLAS '20. [pdf]