Uma Experiência na Implementação de um Sistema de Tipos Fortes e Polimórficos. - Walace de Almeida Rodrigues; Roberto da Silva Bigonha (SBES, 1993)