Dynamic Typing in Polymorphic Languages (1992)

by M Abadi, L Cardelli, B Pierce, D Rémy
Venue:In Proc. of the 1992 ACM Workshop on ML and its Applications