A Simpli ed Account ofPolymorphic References (1994)

by R Harper
Venue:Information Processing Letters 51