A Theory of Name Resolution

by Pierre Neron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth