The coinductive resumption monad

Dades bibliogràfiques
Autors principals: Piróg, M, Gibbons, J
Format: Conference item
Publicat: 2014