Dependent Types for Class-based Mutable Objects (Artifact)
| Title | Dependent Types for Class-based Mutable Objects (Artifact) |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Campos, J., and V. T. Vasconcelos |
| Conference Name | DARTS-Dagstuhl Artifacts Series |
| Publisher | Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik |
