• español
    • English
  • Self-archive
  • Browse
    • Communities & Collections
    • By Issue Date
    • Authors
    • Titles
    • Subjects
    • Document types
  • English 
    • español
    • English
  • Help
  • Login
 
View Item 
  •   Repositorio Institucional Universidad EAFIT
  • Investigación
  • Escuela de Ciencias
  • Lógica y Computación
  • Documentos de trabajo (working papers)
  • View Item
  •   Repositorio Institucional Universidad EAFIT
  • Investigación
  • Escuela de Ciencias
  • Lógica y Computación
  • Documentos de trabajo (working papers)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
Files
VillaIsaza-2011 Practica-investigativa-I Teoria-de-categorias-aplicada-a-la-programacion-funcional-con-Agda.pdf (245.2Kb)
Date
2011-02
Author(s)
Villa-Isaza, Juan Pedro
Metrics
Metadata
Show full item record
Abstract
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.
Documents PDF

loading
 
URI
http://hdl.handle.net/10784/4551
Collections
  • Documentos de trabajo (working papers) [8]

My Account

LoginRegister

Statistics

View Usage Statistics

universidad eafit medellin repositorio institucional

Vigilada Mineducación
Universidad con Acreditación Institucional hasta 2026
Resolución MEN 2158 de 2018

Líneas de Atención

Medellín: (57) (604) - 448 95 00
Resto del país: 01 8000 515 900
Conmutador: (57) (604) - 2619500
Carrera 49 N 7 Sur - 50
Medellín, Colombia, Suramérica

Derechos Reservados

DSpace software
copyright © 2002-2016 
Duraspace

Theme by 
@mire NV