Declarative Name Binding and Scope Rules
Abstract elided by the publisher.
Related papers
- Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications OOPSLA 2020
- Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars SLE 2025
- Language-Parametric Reference Synthesis OOPSLA 2025
- Specializing Scope Graph Resolution Queries SLE 2022
- Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers ECOOP 2021
- Scopes and Frames Improve Meta-Interpreter Specialization ECOOP 2019
- Generating incremental type services SLE 2019
- VarSem: declarative expression and automated inference of variable usage semantics GPCE 2020