Título: TypeCheckerDragon: Chequeo de Tipos Contextualizados en un Lenguaje de Tipado Dinámico
Director: Hernán Wilkinson
Co-Director: Agustín Martinez
Jurados: Edgardo Zoppi, Juan Pablo Galeotti

Resumen:
Este trabajo utiliza la información de tipos recolectada e inferida por LiveTyping en Cuis Smalltalk para realizar un chequeo de tipos que tiene por objetivo ayudar al desarrollador a encontrar posibles errores no detectados durante el proceso de desarrollo.
A diferencia de un lenguajes estáticamente tipado, este chequeo de tipos no interviene en la compilación del código fuente, sino que se realiza luego de dicha etapa y por demanda.
Adicionalmente implementa un «filtrado de tipos contextual» en base a un análisis de código por bloques, que provee información de tipos más exacta dependiendo del contexto en el que se realiza el análisis. Esto genera información más concisa que es consumida por herramientas como el auto-complete y la información de tipos, logrando que estas sean más útiles y confiables.