Declarative Name Binding and Scope Rules - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. Declarative Name Binding and Scope Rules. In Krzysztof Czarnecki, Görel Hedin, editors, Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Volume 7745 of Lecture Notes in Computer Science, pages 311-331, Springer, 2012. [doi]

The following publications are possibly variants of this publication:

The Spoofax Name Binding LanguageGabriël Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. In Companion to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2012, Tucson, AR, USA, October 19 - 26, 2012. 2012: [doi]

A Theory of Name ResolutionPierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. ESOP 2015: 205-231 [doi]

A Theory of Name Resolution with extended Coverage and ProofsPierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-001, 2015.

Language-Independent Type-Dependent Name ResolutionHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-006, 2015.

Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Zenodo, Oct 2020. [doi]

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specificationsArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. PACMPL, 4(OOPSLA), 2020. [doi]

The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.

Scoped Dynamic Rewrite RulesEelco Visser. ENTCS, 59(4):375-396, 2001. [doi]

The following are duplicate records for the exact same publication:

Declarative Name Binding and Scope Rules Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. SLE 2012: 311-331 [doi]

runs on WebDSL