Dynamic Typing in a Statically Typed Language (1989)

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