Semantics of monad transformers

Add to your list(s) Download to your calendar using vCal

• Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge)
• Friday 14 May 2021, 11:00-12:00
• https://meet.google.com/jxy-edcv-wgx.

If you have a question about this talk, please contact Nathanael Arkor.

Monad transformers are the idiomatic way of composing computational effects in pure functional languages—for example, we use them to represent computations that are both stateful and possibly failing. Surprisingly little has been written about their categorical interpretation outside of work by Mauro Jaskelioff. In this talk I will talk about the concept of monoid transformers (due to Jaskelioff and Moggi) and how they subsume monad transformers. Familiarity with monads and monoidal categories is assumed.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• https://meet.google.com/jxy-edcv-wgx
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.