Alef: un cálculo de efectos algebraicos con tipado bidireccional

Vista sencilla de ítem
dc.contributor.advisorJaskelioff, Mauro
dc.contributor.coadvisorRivas, Exequiel
dc.creatorLocascio, Antonio
dc.date.accessioned2020-10-09T20:32:26Z
dc.date.available2020-10-09T20:32:26Z
dc.date.issued2020-07-13
dc.description.abstractEl modelado de efectos computacionales mediante teorías matemáticas es un instrumento fundamental para facilitar el razonamiento sobre programas y poder garantizar su correctitud. Uno de estos modelos es el basado en la teoría de efectos algebraicos, que representa los efectos mediante operaciones de una teoría algebraica que captura su comportamiento. Para incorporar este modelo al diseño de lenguajes de programación se introducen los sistemas de efectos, que extienden los sistemas de tipos con información acerca de los efectos que pueden ser causados por un programa. Sin embargo, las implementaciones de estos sistemas suelen ser muy complejas, perdiendo en gran medida la claridad conceptual provista por los fundamentos teóricos. En esta tesina se describe un sistema de efectos implementable para un cálculo básico con efectos algebraicos y handlers, usando una nueva variación del tipado bidireccional para preservar la claridad y la estrecha relación con la teoría matemática subyacente. Este sistema se prueba seguro respecto a la semántica operacional y se lo implementa en Haskell, mostrando tanto la simplicidad de su formulación como su gran poder expresivo.es
dc.description.filLocascio, Antonio. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Departamento de Ciencias de la Computación, Argentinaes
dc.formatapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2133/19077
dc.language.isospaes
dc.rightsopenAccesses
dc.rights.holderLocascio, Antonioes
dc.rights.texthttps://cl https://creativecommons.org/licenses/by-nc-sa/2.5/ar/es
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/ar/*
dc.subjectEfectos Algebraicoses
dc.subjectSistemas de efectoses
dc.subjectTipado Bidireccionales
dc.subjectSistemas de Tiposes
dc.titleAlef: un cálculo de efectos algebraicos con tipado bidireccionales
dc.typebachelorThesis
dc.typeTésis de Grado
dc.typeacceptedVersion
dc.type.collectiontesis
dc.type.otherbachelorThesises
dc.type.versionacceptedVersiones

Archivos

Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Alef.pdf
Tamaño:
451.5 KB
Formato:
Adobe Portable Document Format
Descripción:
Tesina de Licenciatura de Ciencias de la Computación
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
Nombre:
license.txt
Tamaño:
3.59 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

FCEIA-ECEN-DCC- Trabajos Finales de Grado (trabajos finales, proyectos y tesinas)