Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373 Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3 Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9
Within the study of the semantics of programming languages, computational effects may be modelled with monads, and weak distributive laws between monads are then a [...]