Dynamic Typing in a Statically Typed Language (1989)

by Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin