Sala 6.2.56, FCUL, Lisboa
Joana Correia Campos defende a tese "Adding Dependent Types to Class-based Mutable Objects".
10h30
Doutoramento em Informática - Especialidade de Ciência da Computação