área de pesquisa Inferência de Tipos com Suporte para Sobrecarga Baseado no Sistema CT Lucília Camarão de Figueiredo Polimorfismo de Registro no Sistema CT Programação Genérica no Sistema CT
