The coinductive resumption monad

Détails bibliographiques
Auteurs principaux: Piróg, M, Gibbons, J
Format: Conference item
Publié: 2014