The semantics of name resolution in grace.

Vlad A. Vergu, Michiel Haisma, Eelco Visser

Browse the full DLS paper archive.