A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Hendrik van Antwerpen. A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs. Master's thesis, Delft University of Technology, January 2016.

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 graphsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. PEPM 2016: 49-60 [doi]

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.

Scopes as typesHendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser. PACMPL, 2(OOPSLA), 2018. [doi]

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]

runs on WebDSL