Exportar referência
APA
Joana Campos, Vasco T. Vasconcelos, (2018). Dependent Types for Class-based Mutable Objects. 32nd European Conference on Object-Oriented Programming (ECOOP 2018), -
IEEE
Joana Campos, Vasco T. Vasconcelos, "Dependent Types for Class-based Mutable Objects" in 32nd European Conference on Object-Oriented Programming (ECOOP 2018), , 2018, pp. -,
doi:
BIBTEX
@InProceedings{41856,
author = {Joana Campos and Vasco T. Vasconcelos},
title = {Dependent Types for Class-based Mutable Objects},
booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)},
year = 2018,
pages = {-},
address = {},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}
}