January 1995

M. Abadi, L. Cardelli, B. Pierce, and D. R~my. Dynamic typing in polymorphic languages. Journal of Functional Programming, 5(1):111-130, January 1995.

1995