Pierre Neron

A Theory of Name Resolution with extended Coverage and Proofs

Eelco Visser, Guido Wachsmuth, Andrew Tolmach, 2015 .

A constraint language for static semantic analysis based on scope graphs

Guido Wachsmuth, Eelco Visser, Andrew Tolmach, 2015, PEPM.