Martín Abadi Luca Cardelli Benjamin C. Pierce Didier Rémy Dynamic Typing in Polymorphic Languages. 111-130 1995 5 J. Funct. Program. 1 db/journals/jfp/jfp5.html#AbadiCPR95