Category theory applied to functional programming

Vista sencilla de ítem
dc.contributor.advisorSicard Ramírez, Andrés
dc.contributor.authorVilla Isaza, Juan Pedro
dc.coverage.spatialMedellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degreeseng
dc.creator.degreeIngeniero de Sistemasspa
dc.date.accessioned2015-08-11T21:35:11Z
dc.date.available2015-08-11T21:35:11Z
dc.date.issued2014
dc.description.abstractWe 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 category theory needed for conceptualizing and better understanding algebraic data types and folds, functors, monads, and parametrically polymorphic functions -- With this purpose, we give a detailed account of categories, functors and endofunctors, natural transformations, monads and Kleisli triples, algebras and initial algebras over endofunctors, among others -- In addition, we explore all of these concepts from the standpoints of categories and programming in Haskell, and, in some cases, Agda -- In other words, we examine functional programming through category theoryspa
dc.identifier.other005.133CD712C
dc.identifier.urihttp://hdl.handle.net/10784/7251
dc.language.isospaspa
dc.publisherUniversidad EAFITspa
dc.publisher.departmentEscuela de Ingeniería. Departamento de Ingeniería de Sistemasspa
dc.publisher.programIngeniería de Sistemasspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesseng
dc.rights.localAcceso abiertospa
dc.subjectHaskell (Lenguaje de programación de computadores)spa
dc.subjectEspacios funcionalesspa
dc.subjectPolimorfismo paramétricospa
dc.subjectAGDA (Lenguaje de programación funcional)
dc.subject.keywordMachine theoryspa
dc.subject.keywordPolymorphismspa
dc.subject.keywordFunctional programming (Computer science)spa
dc.subject.keywordAlgebras, linearspa
dc.subject.keywordGenetic programming (Computer science)spa
dc.subject.keywordLogic programmingspa
dc.subject.lembTEORÍA DE LAS MÁQUINASspa
dc.subject.lembPOLIMORFISMOspa
dc.subject.lembPROGRAMACIÓN FUNCIONAL (COMPUTADORES)spa
dc.subject.lembÁLGEBRAS LINEALESspa
dc.subject.lembPROGRAMACIÓN GENÉTICA (CIENCIA DE LA COMPUTACIÓN)spa
dc.subject.lembPROGRAMACIÓN LÓGICAspa
dc.titleCategory theory applied to functional programmingspa
dc.typeinfo:eu-repo/semantics/bachelorThesis
dc.typebachelorThesiseng
dc.type.hasVersionacceptedVersioneng
dc.type.localTrabajo de gradospa

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
Juan_VillaIsaza_2014.pdf
Tamaño:
648.06 KB
Formato:
Adobe Portable Document Format
Descripción:
Trabajo de grado
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
2.5 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Ingeniería de Sistemas (trabajo de grado)