SLE 2012 paper:
Declarative Name Binding and Scope Rules

Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser

DOI: 10.1007/978-3-642-36089-3_18
T1B: Static Semantics
- Name binding and scoping are central static-semantics concerns, and the paper provides a compile-time resolution approach.
T3A: Meta-languages
- It introduces a declarative meta-language for specifying name binding rules in reusable, language-parametric terms.
T4A: Workbenches
- Integration into the Spoofax Language Workbench and support for editor services position it squarely as a tooling contribution.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.