The coinductive resumption monad

Bibliographische Detailangaben
Hauptverfasser: Piróg, M, Gibbons, J
Format: Conference item
Veröffentlicht: 2014
Search Result 1

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

Veröffentlicht 2014
Journal article