Dynamic typing in a statically-typed language (1991)

by Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
Venue:ACM Transactions on Programming Languages and Systems