INFERÊNCIA DE TIPOS NA PRESENÇA DE GADT USANDO ANTI-UNIFICAÇÃO Documento

https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3824302

Visão geral
Identidade
Ver todos

membro de

https://brcris.ibict.br/individual/comm_484b40f0-b3f8-4a11-8be7-457eed856e00

tipo

master thesis

data de publicação

2016-07-29

prêmio patrocinado pela

Universidade do Estado de Santa Catarina Organização