Materias

• Parseo y Generación de Código
• Teoría de la Computación
• Reescritura, Cálculo-Lambda y Tipos
• Algoritmos y Estructuras de Datos