Dynamic typing in a statically typed language (1991)

by M Abadi, L Cardelli, B Pierce, G Plotkin
Venue:ACM Transactions on Programming Languages and Systems