Título: Recolección de Tipos en VMs con Compilación Just-in-Time Director: Hernán Wilkinson Jurados: Emilio Oca y Agustín Martinez Resumen: LiveTyping es un sistema de anotación automática de tipos que busca llevar a lenguajes dinámicos algunos de los beneficios de contar con información de tipos estática sobre los programas. Esta [...]