Dependent Types for Class-based Mutable Objects (Artifact)

Joana Campos 0002, Vasco T. Vasconcelos. Dependent Types for Class-based Mutable Objects (Artifact). DARTS, 4(3), 2018. [doi]

Authors

Joana Campos 0002

This author has not been identified. Look up 'Joana Campos 0002' in Google

Vasco T. Vasconcelos

This author has not been identified. Look up 'Vasco T. Vasconcelos' in Google