The coinductive resumption monad

Bibliographic Details
Main Authors: Piróg, M, Gibbons, J
Format: Conference item
Published: 2014