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

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 operacion...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Locascio, Antonio
Otros Autores: Jaskelioff, Mauro
Formato: bachelorThesis Tésis de Grado acceptedVersion
Lenguaje:Español
Publicado: 2020
Materias:
Efectos Algebraicos
Sistemas de efectos
Tipado Bidireccional
Sistemas de Tipos
Acceso en línea:http://hdl.handle.net/2133/19077
http://hdl.handle.net/2133/19077
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

Ejemplares similares

Ejemplares similares