The coinductive resumption monad

מידע ביבליוגרפי
Main Authors: Piróg, M, Gibbons, J
פורמט: Conference item
יצא לאור: 2014