Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.provenance | CONICET | - |
dc.creator | Rivas Gadda, Exequiel Matías | - |
dc.creator | Jaskelioff, Mauro Javier | - |
dc.date | 2018-06-28T15:01:45Z | - |
dc.date | 2018-06-28T15:01:45Z | - |
dc.date | 2017-10 | - |
dc.date | 2018-06-28T14:07:07Z | - |
dc.date.accessioned | 2019-04-29T15:37:09Z | - |
dc.date.available | 2019-04-29T15:37:09Z | - |
dc.date.issued | 2017-10 | - |
dc.identifier | Rivas Gadda, Exequiel Matías; Jaskelioff, Mauro Javier; Notions of computation as monoids; Cambridge University Press; Journal Of Functional Programming; 27; 10-2017 | - |
dc.identifier | 0956-7968 | - |
dc.identifier | http://hdl.handle.net/11336/50344 | - |
dc.identifier | CONICET Digital | - |
dc.identifier | CONICET | - |
dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/297858 | - |
dc.description | There are different notions of computation, the most popular being monads, applicative functors, and arrows. In this article, we show that these three notions can be seen as instances of a unifying abstract concept: monoids in monoidal categories. We demonstrate that even when working at this high level of generality, one can obtain useful results. In particular, we give conditions under which one can obtain free monoids and Cayley representations at the level of monoidal categories, and we show that their concretisation results in useful constructions for monads, applicative functors, and arrows. Moreover, by taking advantage of the uniform presentation of the three notions of computation, we introduce a principled approach to the analysis of the relation between them. | - |
dc.description | Fil: Rivas Gadda, Exequiel Matías. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; Argentina | - |
dc.description | Fil: Jaskelioff, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; Argentina | - |
dc.format | application/pdf | - |
dc.format | application/pdf | - |
dc.language | eng | - |
dc.publisher | Cambridge University Press | - |
dc.relation | info:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/product/identifier/S0956796817000132/type/journal_article | - |
dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1017/S0956796817000132 | - |
dc.rights | info:eu-repo/semantics/restrictedAccess | - |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
dc.source | reponame:CONICET Digital (CONICET) | - |
dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
dc.source | instacron:CONICET | - |
dc.source.uri | http://hdl.handle.net/11336/50344 | - |
dc.subject | MONOIDAL CATEGORIES | - |
dc.subject | MONAD | - |
dc.subject | APPLICATIVE FUNCTOR | - |
dc.subject | ARROW | - |
dc.subject | Ciencias de la Computación | - |
dc.subject | Ciencias de la Computación e Información | - |
dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
dc.title | Notions of computation as monoids | - |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/publishedVersion | - |
dc.type | info:ar-repo/semantics/articulo | - |
Aparece en las colecciones: | CONICET |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.