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 |