A nominal theory of objects with dependent types (2003)

by Martin Odersky, Vincent Cremet, Christine Rockl, Matthias Zenger
Venue:of Lecture Notes in Computer Science