@techreport{TUD-SERG-2015-012,
  title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {November},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf},
  note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf}},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-012},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group, Delft University of Technology},
  number = {TUD-SERG-2015-012},
}

@inproceedings{AntwerpenV21,
  title = {Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers},
  author = {Hendrik van Antwerpen and Eelco Visser},
  year = {2021},
  doi = {10.4230/LIPIcs.ECOOP.2021.1},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.1},
  researchr = {https://researchr.org/publication/AntwerpenV21},
  cites = {0},
  citedby = {0},
  booktitle = {35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
  editor = {Anders Møller and Manu Sridharan},
  volume = {194},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-190-0},
}

@inproceedings{MensingAPV19,
  title = {From definitional interpreter to symbolic executor},
  author = {Adrian D. Mensing and Hendrik van Antwerpen and Casper Bach Poulsen and Eelco Visser},
  year = {2019},
  doi = {10.1145/3358502.3361269},
  url = {https://doi.org/10.1145/3358502.3361269},
  researchr = {https://researchr.org/publication/MensingAPV19},
  cites = {0},
  citedby = {0},
  pages = {11-20},
  booktitle = {Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2019, Athens, Greece, October 20, 2019},
  editor = {Christophe Scholliers and Guido Chari},
  publisher = {ACM},
  isbn = {978-1-4503-6985-5},
}

@inproceedings{PelsmaekerAV19-SPLASH,
  title = {Towards language-parametric semantic editor services based on declarative type system specifications},
  author = {Daniël A. A. Pelsmaeker and Hendrik van Antwerpen and Eelco Visser},
  year = {2019},
  doi = {10.1145/3359061.3362782},
  url = {https://doi.org/10.1145/3359061.3362782},
  researchr = {https://researchr.org/publication/PelsmaekerAV19-SPLASH},
  cites = {0},
  citedby = {0},
  pages = {19-20},
  booktitle = {Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2019, Athens, Greece, October 20-25, 2019},
  editor = {Yannis Smaragdakis},
  publisher = {ACM},
  isbn = {978-1-4503-6992-3},
}

@techreport{TUD-SERG-2015-009,
  title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {September},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf},
  note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf}},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-009},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group, Delft University of Technology},
  number = {TUD-SERG-2015-009},
}

@inproceedings{GencOAB15,
  title = {Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-agent Platform},
  author = {Zülküf Genç and Michel A. Oey and Hendrik van Antwerpen and Frances M. T. Brazier},
  year = {2015},
  doi = {10.1007/978-3-319-31447-1_8},
  url = {http://dx.doi.org/10.1007/978-3-319-31447-1_8},
  researchr = {https://researchr.org/publication/GencOAB15},
  cites = {0},
  citedby = {0},
  pages = {121-131},
  booktitle = {Multi-Agent-Based Simulation XVI - International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
  editor = {Benoit Gaudou and Jaime Simão Sichman},
  volume = {9568},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-31446-4},
}

@inproceedings{PelsmaekerAV19,
  title = {Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)},
  author = {Daniël A. A. Pelsmaeker and Hendrik van Antwerpen and Eelco Visser},
  year = {2019},
  doi = {10.4230/LIPIcs.ECOOP.2019.26},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.26},
  researchr = {https://researchr.org/publication/PelsmaekerAV19},
  cites = {0},
  citedby = {0},
  booktitle = {33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom},
  editor = {Alastair F. Donaldson},
  volume = {134},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-111-5},
}

@inproceedings{AntwerpenNTVW16,
  title = {A constraint language for static semantic analysis based on scope graphs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2016},
  doi = {10.1145/2847538.2847543},
  url = {http://doi.acm.org/10.1145/2847538.2847543},
  researchr = {https://researchr.org/publication/AntwerpenNTVW16},
  cites = {0},
  citedby = {0},
  pages = {49-60},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Martin Erwig and Tiark Rompf},
  publisher = {ACM},
  isbn = {978-1-4503-4097-7},
}

@inbook{RouvoetAPKV20-ext,
  title = {Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)},
  author = {Arjen Rouvoet and Hendrik van Antwerpen and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
  year = {2020},
  month = {Oct},
  doi = {10.5281/zenodo.4091445},
  url = {http://doi.org/10.5281/zenodo.4091445},
  researchr = {https://researchr.org/publication/RouvoetAPKV20-ext},
  cites = {0},
  citedby = {0},
  publisher = {Zenodo},
}

@techreport{TUD-SERG-2015-006,
  title = {Language-Independent Type-Dependent Name Resolution},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {July},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-006},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology, Software Engineering Research Group},
  number = {TUD-SERG-2015-006},
  address = {Delft, The Netherlands},
}

@mastersthesis{VanAntwerpen2016,
  title = {A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs},
  author = {Hendrik van Antwerpen},
  year = {2016},
  month = {January},
  url = {http://resolver.tudelft.nl/uuid:7a555c92-ee75-4e64-b58b-d8f09662f412},
  note = {Available at \url{http://resolver.tudelft.nl/uuid:7a555c92-ee75-4e64-b58b-d8f09662f412}.},
  researchr = {https://researchr.org/publication/VanAntwerpen2016},
  cites = {0},
  citedby = {0},
  school = {Delft University of Technology},
  advisor = {Eelco Visser},
}

@article{ZwaanAV22,
  title = {Incremental type-checking for free: using scope graphs to derive incremental type-checkers},
  author = {Aron Zwaan and Hendrik van Antwerpen and Eelco Visser},
  year = {2022},
  doi = {10.1145/3563303},
  url = {https://doi.org/10.1145/3563303},
  researchr = {https://researchr.org/publication/ZwaanAV22},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {OOPSLA2},
  pages = {424-448},
}

@article{PelsmaekerAPV22,
  title = {Language-parametric static semantic code completion},
  author = {Daniël A. A. Pelsmaeker and Hendrik van Antwerpen and Casper Bach Poulsen and Eelco Visser},
  year = {2022},
  doi = {10.1145/3527329},
  url = {https://doi.org/10.1145/3527329},
  researchr = {https://researchr.org/publication/PelsmaekerAPV22},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {OOPSLA},
  pages = {1-30},
}

@article{AntwerpenPRV18,
  title = {Scopes as types},
  author = {Hendrik van Antwerpen and Casper Bach Poulsen and Arjen Rouvoet and Eelco Visser},
  year = {2018},
  doi = {10.1145/3276484},
  url = {https://doi.org/10.1145/3276484},
  researchr = {https://researchr.org/publication/AntwerpenPRV18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {OOPSLA},
}

@inproceedings{ZwaanA23,
  title = {Scope Graphs: The Story so Far},
  author = {Aron Zwaan and Hendrik van Antwerpen},
  year = {2023},
  doi = {10.4230/OASIcs.EVCS.2023.32},
  url = {https://doi.org/10.4230/OASIcs.EVCS.2023.32},
  researchr = {https://researchr.org/publication/ZwaanA23},
  cites = {0},
  citedby = {0},
  booktitle = {Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands},
  editor = {Ralf Lämmel and Peter D. Mosses and Friedrich Steimann},
  volume = {109},
  series = {OASIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-267-9},
}

@article{AntwerpenV21-artifact,
  title = {Scope States (Artifact)},
  author = {Hendrik van Antwerpen and Eelco Visser},
  year = {2021},
  doi = {10.4230/DARTS.7.2.1},
  url = {https://doi.org/10.4230/DARTS.7.2.1},
  researchr = {https://researchr.org/publication/AntwerpenV21-artifact},
  cites = {0},
  citedby = {0},
  journal = {DARTS},
  volume = {7},
  number = {2},
}