Tiago Alexandre da Costa Ferreira
Título: Um estudo sobre a correspondência entre programação funcional com continuações e programação imperativa Single-Assignment
Orientador: Luís Pinto (DMA) e Maria João Frade (DI)
Defendida em 19 de Dezembro de 2014

Xavier Gomes de Pinho
Título: Máquina Abstracta Categorial
Orientadores: José Carlos Espírito Santo (DMA) e José Carlos Bacelar (DI)
Defendida em 19 Dezembro de 2014