Export
APA
Joana Correia Campos, (2018). Adding Dependent Types to Class-based Mutable Objects. http://hdl.handle.net/10451/34562 Vasco Manuel Thudichum de Serpa Vasconcelos,
IEEE
Joana Correia Campos, "Adding Dependent Types to Class-based Mutable Objects", 2018.
BIBTEX
@PhdThesis{42984,
author = {Joana Correia Campos},
title = {Adding Dependent Types to Class-based Mutable Objects},
school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA},
year = {2018},
OPTtype = {Documentos Académicos},
OPTmonth = {Jan}
}