Você está em: Início > Cursos > Projetos / Dissertações / Teses > Tese de Mestrado em Ciência de Computadores
Mapa das Instalaçõ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 |
Copyright 1996-2023 © 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: 2023-03-29 às 04:03:38 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias
Página gerada em: 2023-03-29 às 04:03:38 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias