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

OAI Identifier:

oai:repository.eafit.edu.co:10784/4551

Acceso en línea:

http://hdl.handle.net/10784/4551

Palabra clave:

Teoría de categorías
Programación funcional
Tipo dependiente
Asistente de pruebas
functor

Rights

License

Acceso abierto