Título: Inferencia de tipos genéricos para colecciones en ambientes con LiveTyping Director: Hernán Wilkinson Jurados: Agustín Martinez, Maximiliano Contieri Resumen: LiveTyping es una técnica de anotación automática de tipos cuyo objetivo es mejorar la experiencia de desarrollo en ambientes dinámicamente tipados, en los que la ausencia de tipado estático limita [...]

Título: Construcción de números simplemente normales con dependencias de dígitos Directora: Verónica Becher Jurados: Santiago Figueira y Martín Mereb Resumen: Dado un entero b mayor o igual que 2 y un conjunto P de números primos consideramos el conjunto T_b de números de Toeplitz compuesto por los números reales [...]