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

by M Odersky, V Cremet, C Röckl, Zenger
Venue:In: Proc. ECOOP 2003. Springer LNCS 2743