A Nominal Theory of Objects with Dependent Types (2002)

by Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
Venue:In Proc. ECOOP’03, Springer LNCS