Category theory applied to functional programming

We study some of the applications of category theory to functional programming, particularly in the context of the Haskell functional programming language, and the Agda dependently typed functional programming language and proof assistant -- More specifically, we describe and explain the concepts of...

Full description

Autores:

Villa Isaza, Juan Pedro

Tipo de recurso:

Fecha de publicación:

2014

Institución:

Universidad EAFIT

Repositorio:

Repositorio EAFIT

Idioma:

spa

OAI Identifier:

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

Acceso en línea:

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

Palabra clave:

Haskell (Lenguaje de programación de computadores)
Espacios funcionales
Polimorfismo paramétrico
AGDA (Lenguaje de programación funcional)
TEORÍA DE LAS MÁQUINAS
POLIMORFISMO
PROGRAMACIÓN FUNCIONAL (COMPUTADORES)
ÁLGEBRAS LINEALES
PROGRAMACIÓN GENÉTICA (CIENCIA DE LA COMPUTACIÓN)
PROGRAMACIÓN LÓGICA
Machine theory
Polymorphism
Functional programming (Computer science)
Algebras, linear
Genetic programming (Computer science)
Logic programming

Rights

License

Acceso abierto