The coinductive resumption monad
Auteurs principaux: | Piróg, M, Gibbons, J |
---|---|
Format: | Conference item |
Publié: |
2014
|
Documents similaires
-
The coinductive resumption monad
par: Piróg, M, et autres
Publié: (2014) -
Completely iterative monads in semantics of coinductive programs
par: Pirog, M
Publié: (2014) -
Unguarded Recursion on Coinductive Resumptions
par: Sergey Goncharov, et autres
Publié: (2018-08-01) -
Monads for behaviour
par: Piróg, M, et autres
Publié: (2013) -
Monads for behaviour
par: Piróg, M, et autres
Publié: (2013)