A nominal theory of objects with dependent types. (2003)

by M Odersky, V Cremet, C Röckl, M Zenger
Venue:In ECOOP,