Dynamic Typing in Polymorphic Languages (1995)

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