The coinductive resumption monad

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