The coinductive resumption monad
<p>Resumptions appear in many forms as a convenient abstraction, such as in semantics of concurrency and as a programming pattern. In this paper we introduce generalised resumptions in a category-theoretic, coalgebraic context and show their basic properties: they form a monad, they come equip...
Päätekijät: | Piróg, M, Gibbons, J |
---|---|
Aineistotyyppi: | Journal article |
Kieli: | English |
Julkaistu: |
Elsevier
2014
|
Aiheet: |
Samankaltaisia teoksia
-
The coinductive resumption monad
Tekijä: Piróg, M, et al.
Julkaistu: (2014) -
Completely iterative monads in semantics of coinductive programs
Tekijä: Pirog, M
Julkaistu: (2014) -
Unguarded Recursion on Coinductive Resumptions
Tekijä: Sergey Goncharov, et al.
Julkaistu: (2018-08-01) -
Monads for behaviour
Tekijä: Piróg, M, et al.
Julkaistu: (2013) -
Foundations of regular coinduction
Tekijä: Francesco Dagnino
Julkaistu: (2021-10-01)