Monads with Merging
Tallinn University of Technology
Abstract:
Monads are well-known in the semantics of programming languages for capturing the sequential composition of effectful computations. In this talk, we will look at two approaches to extending a monad T with a merging-like operation of the form m : T A * T B -> T (A * B), as well as some of the problems we face along the road.
This talk is based on a preprint (https://hal.inria.fr/hal-02150199/e) with Mauro Jaskelioff (Universidad Nacional de Rosario - CONICET, Argentina).