Dynamic Typing in Polymorphic Languages (1995)

by Martín Abadi , Luca Cardelli , Benjamin Pierce , Didier Rémy
Venue:JOURNAL OF FUNCTIONAL PROGRAMMING
Citations:98 - 2 self