The coinductive resumption monad

ग्रंथसूची विवरण
मुख्य लेखकों: Piróg, M, Gibbons, J
स्वरूप: Conference item
प्रकाशित: 2014