On applications of category theory to programming languages

"Category Theory can be used to model computational effects in terms of purely denotational semantics. Here, we present the fundamental elements of Category Theory and how they relate to programming languages, in particular we?ll see how Category Theory can be applied to denote computational ef...

Full description

Autores:
Salazar Ruiz, Víctor José de Jesús
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2018
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
eng
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/45294
Acceso en línea:
http://hdl.handle.net/1992/45294
Palabra clave:
Categorías (Matemáticas)
Complejidad computacional
Matemáticas en procesamiento electrónico de datos
Matemáticas
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-sa/4.0/
id UNIANDES2_dee175cfacfd2c152fb2db2e6b687009
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/45294
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
spelling Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Cuellar Jaramillo, Jorge Ricardob7eff942-1c95-496b-92c3-fe8bc99e1ce7500Corredor Londoño, Luis Jaimevirtual::9437-1Salazar Ruiz, Víctor José de Jesús1d608e20-e174-4cfe-82a2-ff19c31000fb500Galindo Martínez, César Neyit2020-09-03T15:55:42Z2020-09-03T15:55:42Z2018http://hdl.handle.net/1992/45294u827280.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/"Category Theory can be used to model computational effects in terms of purely denotational semantics. Here, we present the fundamental elements of Category Theory and how they relate to programming languages, in particular we?ll see how Category Theory can be applied to denote computational effects on a purely functional way in the Haskell programming language, the results presented here are based on the 1991 paper Notions of computation and monads by Eugenio Moggi."--Tomado del Formato de Documento de Grado."La Teoría de Categorías puede ser utilizada para modelar efectos computaciones enteramente en términos de semánticas denotacionales. Aquí, presentamos los elementos fundamentales de la Teoría de Categorías y cómo estas se relacionan con lenguajes de programación. En particular se menciona como la Teoría de Categorías se utiliza para denotar efectos computacionales en términos enteramente funcionales en el lenguaje de programación Haskell. Los resultados presentados se basan en ideas presentadas en Notions of computation and monads de Eugenio Moggi."--Tomado del Formato de Documento de Grado.MatemáticoPregrado39 hojasapplication/pdfengUniversidad de los AndesMatemáticasFacultad de CienciasDepartamento de Matemáticasinstname:Universidad de los Andesreponame:Repositorio Institucional SénecaOn applications of category theory to programming languagesTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPCategorías (Matemáticas)Complejidad computacionalMatemáticas en procesamiento electrónico de datosMatemáticasPublicationb6198737-2951-4b42-8bc3-54572c49b3cfvirtual::9437-1b6198737-2951-4b42-8bc3-54572c49b3cfvirtual::9437-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000095931virtual::9437-1ORIGINALu827280.pdfapplication/pdf259407https://repositorio.uniandes.edu.co/bitstreams/b1c0e49e-09ba-4d62-9343-70c5e28e743b/download973f5193c705ded7f8a03f4e0ec50cc6MD51TEXTu827280.pdf.txtu827280.pdf.txtExtracted texttext/plain72518https://repositorio.uniandes.edu.co/bitstreams/0d244702-ffe4-432d-a77b-8a3d270ab990/downloada6c23edafbd6d10f34b398ece54686d9MD54THUMBNAILu827280.pdf.jpgu827280.pdf.jpgIM Thumbnailimage/jpeg7638https://repositorio.uniandes.edu.co/bitstreams/5036f4a3-21e3-46a0-8092-6eaf02dd6400/download2e1e9cfb73501060785ad7c99a5501a6MD551992/45294oai:repositorio.uniandes.edu.co:1992/452942024-03-13 13:56:06.795http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co
dc.title.es_CO.fl_str_mv On applications of category theory to programming languages
title On applications of category theory to programming languages
spellingShingle On applications of category theory to programming languages
Categorías (Matemáticas)
Complejidad computacional
Matemáticas en procesamiento electrónico de datos
Matemáticas
title_short On applications of category theory to programming languages
title_full On applications of category theory to programming languages
title_fullStr On applications of category theory to programming languages
title_full_unstemmed On applications of category theory to programming languages
title_sort On applications of category theory to programming languages
dc.creator.fl_str_mv Salazar Ruiz, Víctor José de Jesús
dc.contributor.advisor.none.fl_str_mv Cuellar Jaramillo, Jorge Ricardo
Corredor Londoño, Luis Jaime
dc.contributor.author.none.fl_str_mv Salazar Ruiz, Víctor José de Jesús
dc.contributor.jury.none.fl_str_mv Galindo Martínez, César Neyit
dc.subject.armarc.es_CO.fl_str_mv Categorías (Matemáticas)
Complejidad computacional
Matemáticas en procesamiento electrónico de datos
topic Categorías (Matemáticas)
Complejidad computacional
Matemáticas en procesamiento electrónico de datos
Matemáticas
dc.subject.themes.none.fl_str_mv Matemáticas
description "Category Theory can be used to model computational effects in terms of purely denotational semantics. Here, we present the fundamental elements of Category Theory and how they relate to programming languages, in particular we?ll see how Category Theory can be applied to denote computational effects on a purely functional way in the Haskell programming language, the results presented here are based on the 1991 paper Notions of computation and monads by Eugenio Moggi."--Tomado del Formato de Documento de Grado.
publishDate 2018
dc.date.issued.none.fl_str_mv 2018
dc.date.accessioned.none.fl_str_mv 2020-09-03T15:55:42Z
dc.date.available.none.fl_str_mv 2020-09-03T15:55:42Z
dc.type.spa.fl_str_mv Trabajo de grado - Pregrado
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TP
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/45294
dc.identifier.pdf.none.fl_str_mv u827280.pdf
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/45294
identifier_str_mv u827280.pdf
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
dc.language.iso.es_CO.fl_str_mv eng
language eng
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.es_CO.fl_str_mv 39 hojas
dc.format.mimetype.es_CO.fl_str_mv application/pdf
dc.publisher.es_CO.fl_str_mv Universidad de los Andes
dc.publisher.program.es_CO.fl_str_mv Matemáticas
dc.publisher.faculty.es_CO.fl_str_mv Facultad de Ciencias
dc.publisher.department.es_CO.fl_str_mv Departamento de Matemáticas
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/b1c0e49e-09ba-4d62-9343-70c5e28e743b/download
https://repositorio.uniandes.edu.co/bitstreams/0d244702-ffe4-432d-a77b-8a3d270ab990/download
https://repositorio.uniandes.edu.co/bitstreams/5036f4a3-21e3-46a0-8092-6eaf02dd6400/download
bitstream.checksum.fl_str_mv 973f5193c705ded7f8a03f4e0ec50cc6
a6c23edafbd6d10f34b398ece54686d9
2e1e9cfb73501060785ad7c99a5501a6
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1812133948126396416

Publicaciones similares