The coinductive resumption monad

Dettagli Bibliografici
Autori principali: Piróg, M, Gibbons, J
Natura: Conference item
Pubblicazione: 2014
Search Result 1

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

Pubblicazione 2014
Journal article