Estudante: | Eduardo da Costa Correia |
Nº de Estudante: | 201806433 |
Orientadores: |
Sandra Maria Mendes Alves
|
  | |
Estado: | Concluído |
Desde: | 13-AGO-2024 |
  | |
Início: | 22-JUL-2023 |
Entrega da Tese: | 26-JUL-2024 |
Defesa: | 18-JUL-2024 |
  | |
Título da Tese: | Efficient compilation of polymorphic record calculi |
Título Provisório: | Efficient compilation of polymorphic record calculi |
Nome | Papel |
---|---|
Pedro Diniz | Presidente |
Maria Frade | Arguente |
Sandra Alves | Vogal Orientador |