The coinductive resumption monad
Główni autorzy: | Piróg, M, Gibbons, J |
---|---|
Format: | Conference item |
Wydane: |
2014
|
Podobne zapisy
-
The coinductive resumption monad
od: Piróg, M, i wsp.
Wydane: (2014) -
Completely iterative monads in semantics of coinductive programs
od: Pirog, M
Wydane: (2014) -
Unguarded Recursion on Coinductive Resumptions
od: Sergey Goncharov, i wsp.
Wydane: (2018-08-01) -
Monads for behaviour
od: Piróg, M, i wsp.
Wydane: (2013) -
Monads for behaviour
od: Piróg, M, i wsp.
Wydane: (2013)