64 citations · 159 across the 14 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
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…
cs.LO2022★ 6 cited
Probability monads with submonads of deterministic states - Extended version
Sean Moss, Paolo Perrone
Probability theory can be studied synthetically as the computational effect embodied by a commutative monad. In the recently proposed Markov categories, one works with an abstracti…