A functional theory of local names (1994)

by Martin Odersky
Venue:Pages 48–59 of: Symposium on Principles of Programming Languages