Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (2019)

First Author: Levy PB

Attributed to: Recursion, guarded recursion and computational effects funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=11441

Type: Conference/Paper/Proceeding/Abstract

Volume: 139

Issue: 13