Estudio del lenguaje LiquidHaskell.
Supervisor(es): Viera, Marcos - Pardo, Alberto
Resumen:
En este proyecto realizamos un estudio del lenguaje LiquidHaskell, una extensión de Haskell que permite agregar lógica de predicados a las funciones y tipos a través de un SMT-Solver. Inicialmente, realizaremos una breve introducción para luego estudiar tres casos de uso de el mismo. En el desarrollo de estos, podremos ver las diferentes formas de utilizar el lenguaje, así como sus fortalezas y debilidades.
| 2024 | |
| LENGUAJES DE PROGRAMACIÓN | |
| Español | |
| Universidad de la República | |
| COLIBRI | |
| https://hdl.handle.net/20.500.12008/47485 | |
| Acceso abierto | |
| Licencia Creative Commons Atribución (CC - By 4.0) |
