Imperative objects with dependent types.

Joana Campos, Vasco T. Vasconcelos

Browse the full ECOOP paper archive.