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	workingPaper	eng
dc.type.hasVersion	draft	spa
dc.type.local	Documento de trabajo de investigación	spa

Archivos

Mostrando 1 - 1 de 1

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:

Mostrando 1 - 1 de 1