The coinductive resumption monad

Бібліографічні деталі
Автори: Piróg, M, Gibbons, J
Формат: Conference item
Опубліковано: 2014