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

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Jaskelioff, Mauro
dc.creator Locascio, Antonio
dc.date.accessioned 2020-10-09T20:32:26Z
dc.date.available 2020-10-09T20:32:26Z
dc.date.issued 2020-07-13
dc.identifier.uri http://hdl.handle.net/2133/19077
dc.description.abstract El 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.format application/pdf
dc.language.iso spa es
dc.rights openAccess es
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ *
dc.subject Efectos Algebraicos es
dc.subject Sistemas de efectos es
dc.subject Tipado Bidireccional es
dc.subject Sistemas de Tipos es
dc.title Alef: un cálculo de efectos algebraicos con tipado bidireccional es
dc.type bachelorThesis
dc.type Tésis de Grado
dc.type acceptedVersion
dc.rights.holder Locascio, Antonio es
dc.rights.text https://cl https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ es
dc.contributor.coadvisor Rivas, Exequiel
dc.description.fil Locascio, Antonio. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Departamento de Ciencias de la Computación, Argentina es
dc.type.collection tesis
dc.type.other bachelorThesis es
dc.type.version acceptedVersion es


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

openAccess Except where otherwise noted, this item's license is described as openAccess

My Account


Search DSpace


Browse