Título: Verificación estática de contratos para tipos de sesión en Haskell Director: Hernán Melgratti Jurados: Fernando Asteasuain, Carlos Gustavo Lopez Pombo. Resumen: El lenguaje de programación Haskell cuenta con diversas implementaciones de tipos de sesiones binarias. En este trabajo estudiamos la viabilidad de integrarlas con LiquidHaskell, una herramienta de [...]