Go to:
Logótipo
You are in:: Start > Projetos / Dissertações / Teses > Tese de Mestrado em Ciência de Computadores
Map of Premises
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
Options

Tese de Mestrado em Ciência de Computadores

Synthesis of Programs from Linear Types

Student: Maria Inês Melo e Sousa
Nº de Estudante: 201505100
Orientadores: António Mário da Silva Marcos Florido
Coorientadores: Sandra Maria Mendes Alves
 
Status: Concluído
Desde: 17-NOV-2021
 
Start: 10-AGO-2020
Entrega da Tese: 25-ABR-2021
Defence: 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

Name Role
João Pedro Pedroso Presidente
José Almeida Arguente
Mário Florido Vogal Orientador
Recommend this page Top
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2022-12-07 at 07:01:15 | Reports Portal