A functional theory of local names (1994)

by M Odersky
Venue:In Proc. POPL