A Nominal Theory of Objects with Dependent Types (0)

by M Odersky, V Cremet, C Röckl, M Zenger
Venue:in: Proceedings of the European Conference on Object-Oriented Programming (ECOOP