Dynamic Typing in a Statically Typed Language, DEC Systems Research Center Report 47 (1989)

by M Abadi, L Cardelli, B Pierce, G D Plotkin