Dynamic Typing in a Statically Typed Language (1989)

by Martín Abadi , Luca Cardelli , Benjamin Pierce , Gordon Plotkin
Citations:155 - 4 self