Dependent Types for Class-based Mutable Objects.

Joana Campos, Vasco T. Vasconcelos

Browse the full ECOOP paper archive.