The coinductive resumption monad
Maciej Piróg and Jeremy Gibbons
Journal
Electronic Notes in Theoretical Computer Science
Note
Proceedings of the Thirtieth Conference on the Mathematical Foundations of Programming Semantics‚ MFPS XXX
Pages
273–288
Volume
308
Year
2014