Saltar para:
Logótipo
Você está em: Início > Cursos > Projetos / Dissertações / Teses > Tese de Mestrado em Ciência de Computadores
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Opções

Cursos

Tese de Mestrado em Ciência de Computadores

Synthesis of Programs from Linear Types

Estudante: Maria Inês Melo e Sousa
Nº de Estudante: 201505100
Orientadores: António Mário da Silva Marcos Florido
Coorientadores: Sandra Maria Mendes Alves
 
Estado: Concluído
Desde: 17-NOV-2021
 
Início: 10-AGO-2020
Entrega da Tese: 25-ABR-2021
Defesa: 17-NOV-2021
   
Título da Tese: Synthesis of Programs from Linear Types
Título Provisório: Síntese de Programas a partir de Tipos Lineares

Elementos do Júri

Nome Papel
João Pedro Pedroso Presidente
José Almeida Arguente
Mário Florido Vogal Orientador
Recomendar Página Voltar ao Topo
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2022-12-07 às 08:24:42 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias