Denotational semantics for languages for inference: semirings, monads, and tensors

Cristina Matache, Sean Moss, Sam Staton +1

Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebrai…