Dynamic Typing in a Statically Typed Language (1991)

by Martin Abadi, Luca Cardelli, Benjamin C Pierce, Gordon D Plotkin
Venue:ACM Transactions on Programming Languages and Systems