Journal Articles

  • Antwerpen, Hendrik van, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser. 2018. “Scopes as Types.” PACMPL 2 (OOPSLA). https://doi.org/https://doi.org/10.1145/3276484. pdf doi details

Conference Articles

  • Antwerpen, Hendrik van, Pierre Néron, Andrew P. Tolmach, Eelco Visser, and Guido Wachsmuth. 2016. “A Constraint Language for Static Semantic Analysis Based on Scope Graphs.” In PEPM, 49–60. https://doi.org/http://doi.acm.org/10.1145/2847538.2847543. doi details

Theses

  • Antwerpen, Hendrik van. 2016. “A Constraint-Based Approach to Name Binding and Type Checking Using Scope Graphs.” Master's thesis, Delft University of Technology. pdf details

Technical Reports

  • Antwerpen, Hendrik van, Pierre Néron, Andrew P. Tolmach, Eelco Visser, and Guido Wachsmuth. 2015. “A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs.” TUD-SERG-2015-012. Software Engineering Research Group, Delft University of Technology. pdf details
  • Antwerpen, Hendrik van, Pierre Neron, Andrew P. Tolmach, Eelco Visser, and Guido Wachsmuth. 2015. “A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs.” TUD-SERG-2015-009. Software Engineering Research Group, Delft University of Technology. pdf details
  • ———. 2015. “Language-Independent Type-Dependent Name Resolution.” TUD-SERG-2015-006. Delft, The Netherlands: Delft University of Technology, Software Engineering Research Group. pdf details