Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot.

Paul Blain Levy, Sergey Goncharov

Browse the full CALCO paper archive.