The coinductive resumption monad

Bibliografske podrobnosti
Main Authors: Piróg, M, Gibbons, J
Format: Conference item
Izdano: 2014