11 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.PL2018★ 6 cited
A Semantics for Hybrid Iteration
Sergey Goncharov, Julian Jakob, Renato Neves
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in t…
cs.LO2014★ 11 cited
Unguarded Recursion on Coinductive Resumptions
Sergey Goncharov, Lutz Schröder, Christoph Rauch +1
We study a model of side-effecting processes obtained by starting from a monad modelling base effects and adjoining free operations using a cofree coalgebra construction; one thus…