Projeto da cadeira de Teoria da Implementação de Linguagens Computacionais (IF688), ministrada pelo Prof. Leopoldo Teixeira, com o objetivo de adicionar type check na análise semântica para a linguagem MiniJava. 