The coinductive resumption monad
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2014
|
| _version_ | 1826273729242464256 |
|---|---|
| author | Piróg, M Gibbons, J |
| author_facet | Piróg, M Gibbons, J |
| author_sort | Piróg, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T22:32:39Z |
| format | Conference item |
| id | oxford-uuid:58c835cf-fd9f-4c7a-af6f-7aa9df99cb39 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:32:39Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | oxford-uuid:58c835cf-fd9f-4c7a-af6f-7aa9df99cb392022-03-26T17:05:42ZThe coinductive resumption monadConference itemhttp://purl.org/coar/resource_type/c_5794uuid:58c835cf-fd9f-4c7a-af6f-7aa9df99cb39Department of Computer Science2014Piróg, MGibbons, J |
| spellingShingle | Piróg, M Gibbons, J The coinductive resumption monad |
| title | The coinductive resumption monad |
| title_full | The coinductive resumption monad |
| title_fullStr | The coinductive resumption monad |
| title_full_unstemmed | The coinductive resumption monad |
| title_short | The coinductive resumption monad |
| title_sort | coinductive resumption monad |
| work_keys_str_mv | AT pirogm thecoinductiveresumptionmonad AT gibbonsj thecoinductiveresumptionmonad AT pirogm coinductiveresumptionmonad AT gibbonsj coinductiveresumptionmonad |