Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle

Detalhes bibliográficos
Autor(a) principal: LEONARDO FILIPE RIGON
Data de Publicação: 2019
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=7754243
id BRCRIS_51c49c4977e365b9ec8d5f8e3a99b6cc
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
title Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
spellingShingle Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
Functional Languages.
Linguagens Funcionais.
LEONARDO FILIPE RIGON
title_short Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
title_full Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
title_fullStr Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
title_full_unstemmed Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
title_sort Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
topic Functional Languages.
Linguagens Funcionais.
publishDate 2019
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=7754243
author_role author
author LEONARDO FILIPE RIGON
author_facet LEONARDO FILIPE RIGON
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6485722004520535
dc.contributor.advisor1.fl_str_mv Cristiano Damiani Vasconcellos
CRISTIANO DAMIANI VASCONCELLOS
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/7291640788372419
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000175814146
dc.publisher.none.fl_str_mv UNIVERSIDADE DO ESTADO DE SANTA CATARINA
publisher.none.fl_str_mv UNIVERSIDADE DO ESTADO DE SANTA CATARINA
instname_str UNIVERSIDADE DO ESTADO DE SANTA CATARINA
dc.publisher.program.fl_str_mv Computação Aplicada
dc.description.course.none.fl_txt_mv Computação Aplicada
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESInferência de Tipos e Efeitos por Meio de Grafos de Fluxo de ControleInferência de Tipos e Efeitos por Meio de Grafos de Fluxo de ControleInferência de Tipos e Efeitos por Meio de Grafos de Fluxo de ControleInferência de Tipos e Efeitos por Meio de Grafos de Fluxo de ControleInferência de Tipos e Efeitos por Meio de Grafos de Fluxo de ControleInferência de Tipos e Efeitos por Meio de Grafos de Fluxo de ControleInferência de Tipos e Efeitos por Meio de Grafos de Fluxo de ControleFunctional Languages.2019masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=7754243authorLEONARDO FILIPE RIGONhttp://lattes.cnpq.br/6485722004520535Cristiano Damiani Vasconcelloshttp://lattes.cnpq.br/7291640788372419https://orcid.org/0000000175814146UNIVERSIDADE DO ESTADO DE SANTA CATARINAUNIVERSIDADE DO ESTADO DE SANTA CATARINAUNIVERSIDADE DO ESTADO DE SANTA CATARINAComputação AplicadaComputação AplicadaPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv RIGON, LEONARDO FILIPE. Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle. 2019. Tese.
dc.identifier.citation.fl_str_mv RIGON, LEONARDO FILIPE. Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle. 2019. Tese.
_version_ 1741887359414173696

Registros relacionados