The coinductive resumption monad

Opis bibliograficzny
Główni autorzy: Piróg, M, Gibbons, J
Format: Conference item
Wydane: 2014