Return to Article Details Tradução de Tipos de Especificação para Protótipo Download Download PDF