Martín Abadi Luca Cardelli Benjamin C. Pierce Gordon D. Plotkin Dynamic Typing in a Statically-Typed Language. 213-227 1989 POPL db/conf/popl/popl89.html#AbadiCPP89