Trabalho final da cadeira de Semântica formal: um simulador e analisador de tipos para uma linguagem simples.