Mostrar el registro sencillo del ítem
dc.contributor.author
Jaskelioff, Mauro Javier
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Rypacek, Ondrej
dc.date.available
2020-04-13T18:51:13Z
dc.date.issued
2012-02
dc.identifier.citation
Jaskelioff, Mauro Javier; Rypacek, Ondrej; An investigation of the laws of traversals; Open Publishing Association; Electronic Proceedings in Theoretical Computer Science; 76; 2-2012; 40-49
dc.identifier.issn
2075-2180
dc.identifier.uri
http://hdl.handle.net/11336/102401
dc.description.abstract
Traversals of data structures are ubiquitous in programming. Consequently, it is important to be able to characterise those structures that are traversable and understand their algebraic properties. Traversable functors have been characterised by McBride and Paterson as those equipped with a distributive law over arbitrary applicative functors; however, laws that fully capture the intuition behind traversals are missing. This article is an attempt to remedy this situation by proposing laws for characterising traversals that capture the intuition behind them. To support our claims, we prove that finitary containers are traversable in our sense and argue that elements in a traversable structure are visited exactly once.
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-nd/2.5/ar/
dc.subject
TRAVERSAL
dc.subject
DISTRIBUTIVE LAW
dc.subject
FUNCTIONAL PROGRAMMING
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
An investigation of the laws of traversals
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
2020-03-16T15:02:22Z
dc.journal.volume
76
dc.journal.pagination
40-49
dc.journal.pais
Australia
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.description.fil
Fil: Jaskelioff, Mauro Javier. Universidad Nacional de Rosario; Argentina. 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
dc.description.fil
Fil: Rypacek, Ondrej. Kings College London (kcl);
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.76.5
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/1202.2919v1
Archivos asociados