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...
- 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/
| Summary: | "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. |
|---|