A Nominal Theory of Objects with Dependent Types.

Martin Odersky, Vincent Cremet, Christine Rckl, Matthias Zenger

Browse the full ECOOP paper archive.