Journal Articles

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

Conference Articles

  • Antwerpen, Hendrik van, and Eelco Visser. 2021. “Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers.” In ECOOP. pdf details
  • Mensing, Adrian D., Hendrik van Antwerpen, Casper Bach Poulsen, and Eelco Visser. 2019. “From Definitional Interpreter to Symbolic Executor.” In OOPSLA, 11–20. https://doi.org/10.1145/3358502.3361269. doi details
  • Pelsmaeker, Daniël A. A., Hendrik van Antwerpen, and Eelco Visser. 2019. “Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications.” In OOPSLA, 19–20. https://doi.org/10.1145/3359061.3362782. doi details
  • ———. 2019. “Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper).” In ECOOP. https://doi.org/10.4230/LIPIcs.ECOOP.2019.26. doi details
  • 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/10.1145/2847538.2847543. doi details
  • Genç, Zülküf, Michel A. Oey, Hendrik van Antwerpen, and Frances M. T. Brazier. 2015. “Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-Agent Platform.” In Mabs, 121–31. https://doi.org/10.1007/978-3-319-31447-1_8. 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. http://resolver.tudelft.nl/uuid:7a555c92-ee75-4e64-b58b-d8f09662f412. 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. http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf. pdf details
  • ———. 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. http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf. 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