Conference contribution
(Original article)

Unguarded Recursion on Coinductive Resumptions

Publication Details
Author(s): Goncharov S, Rauch C, Schröder L
Publisher: Electronic Notes in Theoretical Computer Science
Publication year: 2015
Pages range: 250 - 264

Event details
Event: Mathematical Foundations of Programming Semantics XXXI
Event location: Art Cinema Lux, Nijmegen
Start date of the event: 22/06/2015
End date of the event: 25/06/2015


We study a model of side-effecting processes obtained by adjoining free operations to a monad modelling base effects by means of 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 monad. Types of this kind have received some attention in the recent literature; in particular, it has been shown that they admit guarded iteration. Here, we show that they also admit unguarded iteration, i.e. form complete Elgot monads, provided that the underlying base effect supports unguarded iteration.

How to cite
APA: Goncharov, S., Rauch, C., & Schröder, L. (2015). Unguarded Recursion on Coinductive Resumptions. (pp. 250 - 264). Art Cinema Lux, Nijmegen, NL: Electronic Notes in Theoretical Computer Science.

MLA: Goncharov, Sergey, Christoph Rauch, and Lutz Schröder. "Unguarded Recursion on Coinductive Resumptions." Proceedings of the Mathematical Foundations of Programming Semantics XXXI, Art Cinema Lux, Nijmegen Electronic Notes in Theoretical Computer Science, 2015. 250 - 264.

BibTeX: Download
Share link
Last updated on 2017-10-21 at 02:59
PDF downloaded successfully