Publicación:
Teoría de categorías aplicada a la programación funcional con Agda.

Vista sencilla de ítem
dc.contributor.authorVilla-Isaza, Juan Pedro
dc.contributor.departmentUniversidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computaciónspa
dc.contributor.eafitauthorJuan Pedro Villa-Isaza (jvillais@eafit.edu.co)spa
dc.date.accessioned2014-12-10T21:09:23Z
dc.date.available2014-12-10T21:09:23Z
dc.date.issued2011-02
dc.descriptionTeoría de categorías aplicada a la programación funcional con Agda es una implementación de algunos conceptos de la programación funcional que están basados o han sido tomados de la teoría de categorías (categorías, functores, functores aplicativos, mónadas...). En este artículo se analizan las diferencias entre la definición formal de un functor y su definición en el lenguaje de programación Haskell, y se implementa un functor en el asistente de pruebas Agda que soluciona dichas diferencias.spa
dc.identifier.urihttps://hdl.handle.net/10784/4551
dc.language.isospa
dc.publisherUniversidad EAFIT, Medellín, Colombiaspa
dc.publisher.departmentUniversidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Lógica y Computaciónspa
dc.publisher.programGrupo de Investigación Lógica y Computaciónspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.coarhttp://purl.org/coar/access_right/c_abf2
dc.rights.localAcceso abierto
dc.subjectTeoría de categoríasspa
dc.subjectProgramación funcionalspa
dc.subjectTipo dependientespa
dc.subjectAsistente de pruebasspa
dc.subjectfunctorspa
dc.titleTeoría de categorías aplicada a la programación funcional con Agda.
dc.typeinfo:eu-repo/semantics/workingPaper
dc.type.coarhttp://purl.org/coar/resource_type/c_8042
dc.type.coarversionhttp://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.localDocumento de trabajo de investigaciónspa
dc.type.redcolhttp://purl.org/redcol/resource_type/WP
dc.type.versioninfo:eu-repo/semantics/draft
dspace.entity.typePublication

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
VillaIsaza-2011 Practica-investigativa-I Teoria-de-categorias-aplicada-a-la-programacion-funcional-con-Agda.pdf
Tamaño:
245.25 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
2.5 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Documentos de trabajo (working papers)