membro de Linguagens de Programação, Verificação e Engenharia de Sistemas Grupo de Pesquisa Sistemas de Tipos e Programação Funcional Grupo de Pesquisa
publicações selecionadas First class Overloading via Intersection Type Parameters Funções Sobrecarregadas como Objetos de Primeira Classe