The following publications are possibly variants of this publication:
- A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-012, 2015.
- A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-009, 2015.
- A Constraint-based Approach to Name Binding and Type Checking using Scope GraphsHendrik van Antwerpen. Master's thesis, Delft University of Technology, January 2016.
- Scopes as typesHendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser. PACMPL, 2(OOPSLA), 2018. [doi]
- Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic SemanticsCasper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. ECOOP 2016: [doi]
- Static consistency checking of web applications with WebDSLZef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. JSC, 46(2):150-182, 2011. [doi]
The following are duplicate records for the exact same publication: