A Semantics of Object Types (0)

by M Abadi, L Cardelli
Venue:In Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS ’94