59 citations · 185 across the 53 of their papers we have counts for
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011
A Coinductive Calculus for Asynchronous Side-effecting Processes
Sergey Goncharov, Lutz Schröder
We present an abstract framework for concurrent processes in which atomic steps have generic side effects, handled according to the principle of monadic encapsulation of effects. P…
cs.LO2011★ 2 cited
Powermonads and Tensors of Unranked Effects
Sergey Goncharov, Lutz Schröder
In semantics and in programming practice, algebraic concepts such as monads or, essentially equivalently, (large) Lawvere theories are a well-established tool for modelling generic…