Dynamic Typing in Polymorphic Languages (1995)

by Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy
Venue:JOURNAL OF FUNCTIONAL PROGRAMMING