Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Unguarded Recursion on Coinductive Resumptions

Sergey Goncharov ; Lutz Schröder ; Christoph Rauch ; Julian Jakob.
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 arrives at what one may think of as types of non-wellfounded side-effecting trees, generalizing the infinite resumption&nbsp;[&hellip;]
Published on August 27, 2018

Guarded and Unguarded Iteration for Generalized Processes

Sergey Goncharov ; Lutz Schröder ; Christoph Rauch ; Maciej Piróg.
Models of iterated computation, such as (completely) iterative monads, often depend on a notion of guardedness, which guarantees unique solvability of recursive equations and requires roughly that recursive calls happen only under certain guarding operations. On the other hand, many models of&nbsp;[&hellip;]
Published on July 4, 2019

  • < Previous
  • 1
  • Next >