Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.12008/47485
How to cite
Full metadata record
DC Field | Value | Language |
---|---|---|
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 |
Appears in Collections: | Tesis de grado - Instituto de Computación |
This item is licensed under a Creative Commons License