Dynamic Typing in Polymorphic Languages

Luca Cardelli
Benjamin C. Pierce
Didier Rémy
J. Funct. Program., 5 (1995), pp. 111-130

Abstract