Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.12008/47485
How to cite
| Title: | Estudio del lenguaje LiquidHaskell. |
| Authors: | León Arias, Felipe de |
| Tutor: | Viera, Marcos Pardo, Alberto |
| Type: | Tesis de grado |
| Descriptors: | LENGUAJES DE PROGRAMACIÓN |
| Issue Date: | 2024 |
| Abstract: | 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. |
| Citation: | León Arias, F. de. Estudio del lenguaje LiquidHaskell [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2024. |
| Obtained title: | Ingeniero en Computación. |
| University or service that grants the title: | Universidad de la República (Uruguay). Facultad de Ingeniería. |
| License: | Licencia Creative Commons Atribución (CC - By 4.0) |
| Appears in Collections: | Tesis de grado - Instituto de Computación |
This item is licensed under a Creative Commons License
