Towards Strong Normalization for Dependent Object Types (DOT).

Fei Wang, Tiark Rompf

Browse the full ECOOP paper archive.