The coinductive resumption monad

書目詳細資料
Main Authors: Piróg, M, Gibbons, J
格式: Conference item
出版: 2014