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

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 dife...

Full description

Autores:: Villa-Isaza, Juan Pedro

Tipo de recurso:

Fecha de publicación:: 2011

Institución:: Universidad EAFIT

Repositorio:: Repositorio EAFIT

Idioma:: spa

id	REPOEAFIT2_562c6b3071b6bc2f5fb3d9d58555c968
oai_identifier_str	oai:repository.eafit.edu.co:10784/4551
network_acronym_str	REPOEAFIT2
network_name_str	Repositorio EAFIT
repository_id_str
spelling	2014-12-10T21:09:23Z2011-022014-12-10T21:09:23Zhttp://hdl.handle.net/10784/4551Teorí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.spaUniversidad EAFIT, Medellín, ColombiaGrupo de Investigación Lógica y ComputaciónUniversidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Lógica y ComputaciónTeoría de categoríasProgramación funcionalTipo dependienteAsistente de pruebasfunctorTeoría de categorías aplicada a la programación funcional con Agda.info:eu-repo/semantics/workingPaperworkingPaperDocumento de trabajo de investigacióndrafthttp://purl.org/coar/version/c_b1a7d7d4d402bccehttp://purl.org/coar/resource_type/c_8042Acceso abiertohttp://purl.org/coar/access_right/c_abf2Juan Pedro Villa-Isaza (jvillais@eafit.edu.co)Villa-Isaza, Juan Pedro4a31ceac-754f-4731-9b36-faec43e052d2-1LICENSElicense.txtlicense.txttext/plain; charset=utf-82556https://repository.eafit.edu.co/bitstreams/a93b7fdc-18d1-4548-adc6-384a09a39f9e/download76025f86b095439b7ac65b367055d40cMD51ORIGINALVillaIsaza-2011 Practica-investigativa-I Teoria-de-categorias-aplicada-a-la-programacion-funcional-con-Agda.pdfVillaIsaza-2011 Practica-investigativa-I Teoria-de-categorias-aplicada-a-la-programacion-funcional-con-Agda.pdfapplication/pdf251139https://repository.eafit.edu.co/bitstreams/c8447e78-ae67-4a0b-b94c-f6d16c3337fc/downloadb2a490e2a8e7a8900f422d0c7eee7bb0MD5210784/4551oai:repository.eafit.edu.co:10784/45512024-12-04 11:48:50.86open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co
dc.title.spa.fl_str_mv	Teoría de categorías aplicada a la programación funcional con Agda.
title	Teoría de categorías aplicada a la programación funcional con Agda.
spellingShingle	Teoría de categorías aplicada a la programación funcional con Agda. Teoría de categorías Programación funcional Tipo dependiente Asistente de pruebas functor
title_short	Teoría de categorías aplicada a la programación funcional con Agda.
title_full	Teoría de categorías aplicada a la programación funcional con Agda.
title_fullStr	Teoría de categorías aplicada a la programación funcional con Agda.
title_full_unstemmed	Teoría de categorías aplicada a la programación funcional con Agda.
title_sort	Teoría de categorías aplicada a la programación funcional con Agda.
dc.creator.fl_str_mv	Villa-Isaza, Juan Pedro
dc.contributor.eafitauthor.spa.fl_str_mv	Juan Pedro Villa-Isaza (jvillais@eafit.edu.co)
dc.contributor.author.none.fl_str_mv	Villa-Isaza, Juan Pedro
dc.subject.spa.fl_str_mv	Teoría de categorías Programación funcional Tipo dependiente Asistente de pruebas functor
topic	Teoría de categorías Programación funcional Tipo dependiente Asistente de pruebas functor
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.
publishDate	2011
dc.date.issued.none.fl_str_mv	2011-02
dc.date.available.none.fl_str_mv	2014-12-10T21:09:23Z
dc.date.accessioned.none.fl_str_mv	2014-12-10T21:09:23Z
dc.type.none.fl_str_mv	info:eu-repo/semantics/workingPaper
dc.type.eng.fl_str_mv	workingPaper
dc.type.coarversion.fl_str_mv	http://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.coar.fl_str_mv	http://purl.org/coar/resource_type/c_8042
dc.type.local.spa.fl_str_mv	Documento de trabajo de investigación
dc.type.hasVersion.spa.fl_str_mv	draft
dc.identifier.uri.none.fl_str_mv	http://hdl.handle.net/10784/4551
url	http://hdl.handle.net/10784/4551
dc.language.iso.spa.fl_str_mv	spa
language	spa
dc.rights.coar.fl_str_mv	http://purl.org/coar/access_right/c_abf2
dc.rights.local.spa.fl_str_mv	Acceso abierto
rights_invalid_str_mv	Acceso abierto http://purl.org/coar/access_right/c_abf2
dc.publisher.spa.fl_str_mv	Universidad EAFIT, Medellín, Colombia
dc.publisher.program.spa.fl_str_mv	Grupo de Investigación Lógica y Computación
dc.publisher.department.spa.fl_str_mv	Universidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Lógica y Computación
institution	Universidad EAFIT
bitstream.url.fl_str_mv	https://repository.eafit.edu.co/bitstreams/a93b7fdc-18d1-4548-adc6-384a09a39f9e/download https://repository.eafit.edu.co/bitstreams/c8447e78-ae67-4a0b-b94c-f6d16c3337fc/download
bitstream.checksum.fl_str_mv	76025f86b095439b7ac65b367055d40c b2a490e2a8e7a8900f422d0c7eee7bb0
bitstream.checksumAlgorithm.fl_str_mv	MD5 MD5
repository.name.fl_str_mv	Repositorio Institucional Universidad EAFIT
repository.mail.fl_str_mv	repositorio@eafit.edu.co
_version_	1818102409849733120

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

Publicaciones similares