The coinductive resumption monad

Podrobná bibliografie
Hlavní autoři: Piróg, M, Gibbons, J
Médium: Conference item
Vydáno: 2014
Search Result 1

The coinductive resumption monad Autor Piróg, M, Gibbons, J

Vydáno 2014
Journal article