Cool Interpreter with type inference for compiling class University of Havana, Matcom Faculty, Computer Science, 3rd year Students - Alejandro Klever Clemente C-311 - Miguel Angel Gonzalez Calles C-311