Type soundness for dependent object types (DOT).

Tiark Rompf, Nada Amin

Browse the full OOPSLA paper archive.