A semantics of object types (1994)

by Mart́ın Abadi, Luca Cardelli
Venue:In Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, LICS’94