Teoría de categorías aplicada a la programación funcional con Agda.
dc.contributor.author | Villa-Isaza, Juan Pedro | |
dc.contributor.eafitauthor | Juan Pedro Villa-Isaza (jvillais@eafit.edu.co) | spa |
dc.date.accessioned | 2014-12-10T21:09:23Z | |
dc.date.available | 2014-12-10T21:09:23Z | |
dc.date.issued | 2011-02 | |
dc.description | Teorí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.uri | http://hdl.handle.net/10784/4551 | |
dc.language.iso | spa | spa |
dc.publisher | Universidad EAFIT, Medellín, Colombia | spa |
dc.publisher.department | Universidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Lógica y Computación | spa |
dc.publisher.program | Grupo de Investigación Lógica y Computación | spa |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.rights.local | Acceso abierto | spa |
dc.subject | Teoría de categorías | spa |
dc.subject | Programación funcional | spa |
dc.subject | Tipo dependiente | spa |
dc.subject | Asistente de pruebas | spa |
dc.subject | functor | spa |
dc.title | Teoría de categorías aplicada a la programación funcional con Agda. | spa |
dc.type | info:eu-repo/semantics/workingPaper | |
dc.type.hasVersion | draft | spa |
dc.type.local | Documento de trabajo de investigación | spa |
Archivos
Bloque original
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:
Bloque de licencias
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: