Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/47485
Cómo citar
Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.contributor.advisor | Viera, Marcos | - |
| dc.contributor.advisor | Pardo, Alberto | - |
| dc.contributor.author | León Arias, Felipe de | - |
| dc.date.accessioned | 2024-12-11T17:11:54Z | - |
| dc.date.available | 2024-12-11T17:11:54Z | - |
| dc.date.issued | 2024 | - |
| dc.identifier.citation | León Arias, F. de. Estudio del lenguaje LiquidHaskell [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2024. | es |
| dc.identifier.uri | https://hdl.handle.net/20.500.12008/47485 | - |
| dc.description.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. | es |
| dc.format.extent | 82 p. | es |
| dc.format.mimetype | application/pdf | es |
| dc.language.iso | es | es |
| dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad de la República.(Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
| dc.rights.uri | An error occurred getting the license - uri. | * |
| dc.rights.uri | An error occurred getting the license - uri. | * |
| dc.subject.other | LENGUAJES DE PROGRAMACIÓN | es |
| dc.title | Estudio del lenguaje LiquidHaskell. | es |
| dc.type | Tesis de grado | es |
| dc.contributor.filiacion | León Arias Felipe de, Universidad de la República (Uruguay). Facultad de Ingeniería. | - |
| thesis.degree.grantor | Universidad de la República (Uruguay). Facultad de Ingeniería. | es |
| thesis.degree.name | Ingeniero en Computación. | es |
| dc.rights.licence | Licencia Creative Commons Atribución (CC - By 4.0) | es |
| Aparece en las colecciones: | Tesis de grado - Instituto de Computación | |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| Del24.pdf | Tesis de grado | 443,14 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
