Declarative Name Binding and Scope Rules.

Gabril D. P. Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser

Browse the full SLE paper archive.