The coinductive resumption monad

Chi tiết về thư mục
Những tác giả chính: Piróg, M, Gibbons, J
Định dạng: Conference item
Được phát hành: 2014