Dependent Types for Class-based Mutable Objects
| Title | Dependent Types for Class-based Mutable Objects |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Campos, J., and V. T. Vasconcelos |
| Conference Name | LIPIcs-Leibniz International Proceedings in Informatics |
| Publisher | Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik |
