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

by M Odersky, V Crémet, C Röckl, Zenger
Venue:In: Proc. European Conference on Object-Oriented Programming. (2003