Notions of Computation Determine Monads

In this session, we investigate how describing effects algebraically generates most of the monads traditionally used to model said effects. Upon request, the session will be hosted as a hybrid event.

Material

The material to be read before the meeting is Plotkin, G., Power, J. (2002). Notions of Computation Determine Monads. In: Nielsen, M., Engberg, U. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2002. Lecture Notes in Computer Science, vol 2303. Springer, Berlin, Heidelberg..

Abstract

We model notions of computation using algebraic operations and equations. We show that these generate several of the monads of primary interest that have been used to model computational effects, with the striking omission of the continuations monad. We focus on semantics for global and local state, showing that taking operations and equations as primitive yields a mathematical relationship that reflects their computational relationship.

Before joining

Please make sure to be aware of the PLSL format before joining.