conf.researchr.org / Joana Campos
Not registered as user yet
Name:Joana Campos
Affiliation:University of Lisbon, Portugal
Contributions
ECOOP 2018 | Author of Dependent Types for Class-based Mutable Objects within the ECOOP Research Papers-track |
FTfJP 2015 | Author of Imperative Objects with Dependent Types within the FTfJP-track |