Dynamic typing in a statically-typed language (1989)

by M Abadi, L Cardelli, B Pierce, G Plotkin
Venue:In Proc. 16th Annual ACM Symp. on Principles of Programming Languages