An Interpretation of Objects and Object Types (1996)

by Martín Abadi, Luca Cardelli, Ramesh Viswanathan