The coinductive resumption monad

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

The coinductive resumption monad per Piróg, M, Gibbons, J

Publicat 2014
Journal article