Mostrar el registro sencillo del ítem

dc.contributor.author
De Oliveira, Alexandre Garcia  
dc.contributor.author
Jaskelioff, Mauro Javier  
dc.contributor.author
De Melo, Ana Cristina Vieira  
dc.date.available
2023-10-20T13:01:26Z  
dc.date.issued
2022-06  
dc.identifier.citation
De Oliveira, Alexandre Garcia; Jaskelioff, Mauro Javier; De Melo, Ana Cristina Vieira; On Structuring Functional Programs with Monoidal Profunctors; Open Publishing Association; Electronic Proceedings in Theoretical Computer Science; 360; 6-2022; 134-150  
dc.identifier.issn
2075-2180  
dc.identifier.uri
http://hdl.handle.net/11336/215522  
dc.description.abstract
We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain monoidal category of profunctors. We study properties of this monoidal category and construct and implement the free monoidal profunctor. We study the relationship of the monoidal construction to optics, and introduce a promising generalization of the implementation which we illustrate by introducing effectful monoidal profunctors.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Open Publishing Association  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
MONOIDAL PROFUNCTORS  
dc.subject
FUNCTIONAL PROGRAMMING  
dc.subject
HASKELL  
dc.subject
CATEGORY THEORY  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
On Structuring Functional Programs with Monoidal Profunctors  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2023-07-04T15:56:37Z  
dc.journal.volume
360  
dc.journal.pagination
134-150  
dc.journal.pais
Australia  
dc.description.fil
Fil: De Oliveira, Alexandre Garcia. Universidade de Sao Paulo; Brasil  
dc.description.fil
Fil: Jaskelioff, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Rosario; Argentina  
dc.description.fil
Fil: De Melo, Ana Cristina Vieira. Universidade de Sao Paulo; Brasil  
dc.journal.title
Electronic Proceedings in Theoretical Computer Science  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4204/EPTCS.360.7  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/2207.00852v1  

Archivos asociados
Thumbnail
 
Tamaño: 197.1Kb
Formato: PDF
.