% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/tud-pl-scope-graphs

@inproceedings{PoulsenZH23,
  title = {A Monadic Framework for Name Resolution in Multi-phased Type Checkers},
  author = {Casper Bach Poulsen and Aron Zwaan and Paul Hübner},
  year = {2023},
  doi = {10.1145/3624007.3624051},
  url = {https://doi.org/10.1145/3624007.3624051},
  researchr = {https://researchr.org/publication/PoulsenZH23},
  cites = {0},
  citedby = {0},
  pages = {14-28},
  booktitle = {Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2023, Cascais, Portugal, October 22-23, 2023},
  editor = {Coen De Roover and Bernhard Rumpe and Amir Shaikhha},
  publisher = {ACM},
}

@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},
}

@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{Visser01-DR,
  title = {Scoped Dynamic Rewrite Rules},
  author = {Eelco Visser},
  year = {2001},
  doi = {10.1016/S1571-0661(04)00298-1},
  url = {https://doi.org/10.1016/S1571-0661(04)00298-1},
  tags = {programming languages, rule-based, graph transformation, dynamic rewrite rules, Stratego/XT, transformation language, term rewriting, graph-rewriting, rules, context-aware, access control, rewriting, role-based access control, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/Visser01-DR},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {59},
  number = {4},
  pages = {375-396},
}

@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{NeronTVW15,
  title = {A Theory of Name Resolution},
  author = {Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8_9},
  url = {http://dx.doi.org/10.1007/978-3-662-46669-8_9},
  researchr = {https://researchr.org/publication/NeronTVW15},
  cites = {0},
  citedby = {0},
  pages = {205-231},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings},
  editor = {Jan Vitek},
  volume = {9032},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46668-1},
}

@inproceedings{JongeV12-LDTA,
  title = {A language generic solution for name binding preservation in refactorings},
  author = {Maartje  de Jonge and Eelco Visser},
  year = {2012},
  doi = {10.1145/2427048.2427050},
  url = {http://doi.acm.org/10.1145/2427048.2427050},
  researchr = {https://researchr.org/publication/JongeV12-LDTA},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012},
  editor = {Anthony Sloane and Suzana Andova},
  publisher = {ACM},
  isbn = {978-1-4503-1536-4},
}

@inproceedings{VerguHV17,
  title = {The semantics of name resolution in grace},
  author = {Vlad A. Vergu and Michiel Haisma and Eelco Visser},
  year = {2017},
  doi = {10.1145/3133841.3133847},
  url = {https://doi.org/10.1145/3133841.3133847},
  researchr = {https://researchr.org/publication/VerguHV17},
  cites = {0},
  citedby = {0},
  pages = {63-74},
  booktitle = {Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017},
  editor = {Davide Ancona},
  publisher = {ACM},
  isbn = {978-1-4503-5526-1},
}

@article{PoulsenRTKV18,
  title = {Intrinsically-typed definitional interpreters for imperative languages},
  author = {Casper Bach Poulsen and Arjen Rouvoet and Andrew P. Tolmach and Robbert Krebbers and Eelco Visser},
  year = {2018},
  doi = {10.1145/3158104},
  url = {http://doi.acm.org/10.1145/3158104},
  tags = {Intrinsic-Verification},
  researchr = {https://researchr.org/publication/PoulsenRTKV18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {POPL},
}

@inproceedings{KonatKWV12,
  title = {Declarative Name Binding and Scope Rules},
  author = {Gabriël Konat and Lennart C. L. Kats and Guido Wachsmuth and Eelco Visser},
  year = {2012},
  doi = {10.1007/978-3-642-36089-3_18},
  url = {http://dx.doi.org/10.1007/978-3-642-36089-3_18},
  researchr = {https://researchr.org/publication/KonatKWV12},
  cites = {0},
  citedby = {0},
  pages = {311-331},
  booktitle = {Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
  editor = {Krzysztof Czarnecki and Görel Hedin},
  volume = {7745},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-36089-3},
}

@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{BravenboerDOV06,
  title = {Program Transformation with Scoped Dynamic Rewrite Rules},
  author = {Martin  Bravenboer and Arthur van Dam and Karina Olmos and Eelco Visser},
  year = {2006},
  url = {https://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-06},
  tags = {programming languages, semantics, rule-based, formal semantics, graph transformation, dynamic rewrite rules, Stratego/XT, transformation language, term rewriting, language design, graph-rewriting, rules, operational semantics, context-aware, access control, rewriting, design, role-based access control, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerDOV06},
  cites = {0},
  citedby = {4},
  journal = {Fundamenta Informaticae},
  volume = {69},
  number = {1-2},
  pages = {123-178},
}

@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},
}

@inproceedings{PoulsenNTV16,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics},
  author = {Casper Bach Poulsen and Pierre Néron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  doi = {10.4230/LIPIcs.ECOOP.2016.20},
  researchr = {https://researchr.org/publication/PoulsenNTV16},
  cites = {0},
  citedby = {0},
  booktitle = {30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy},
  editor = {Shriram Krishnamurthi and Benjamin S. Lerner},
  volume = {56},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-014-9},
}

@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{VerguTV19,
  title = {Scopes and Frames Improve Meta-Interpreter Specialization},
  author = {Vlad A. Vergu and Andrew P. Tolmach and Eelco Visser},
  year = {2019},
  doi = {10.4230/LIPIcs.ECOOP.2019.4},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.4},
  researchr = {https://researchr.org/publication/VerguTV19},
  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},
}

@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{KonatVKWV2012,
  title = {The {Spoofax} Name Binding Language},
  author = {Gabriël Konat and Vlad A. Vergu and Lennart C. L. Kats and Guido Wachsmuth and Eelco Visser},
  year = {2012},
  doi = {10.1145/2384716.2384748},
  url = {https://doi.org/10.1145/2384716.2384748},
  tags = {C++, Spoofax},
  researchr = {https://researchr.org/publication/KonatVKWV2012},
  cites = {0},
  citedby = {0},
  booktitle = {Companion to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2012, Tucson, AR, USA, October 19 - 26, 2012},
  publisher = {ACM},
}

@inproceedings{WachsmuthKVGV13,
  title = {A Language Independent Task Engine for Incremental Name and Type Analysis},
  author = {Guido Wachsmuth and Gabriël Konat and Vlad A. Vergu and Danny M.  Groenewegen and Eelco Visser},
  year = {2013},
  doi = {10.1007/978-3-319-02654-1_15},
  url = {http://dx.doi.org/10.1007/978-3-319-02654-1_15},
  researchr = {https://researchr.org/publication/WachsmuthKVGV13},
  cites = {0},
  citedby = {0},
  pages = {260-280},
  booktitle = {Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}},
  volume = {8225},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-02653-4},
}

@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},
}

@article{RouvoetAPKV20,
  title = {Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications},
  author = {Arjen Rouvoet and Hendrik van Antwerpen and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
  year = {2020},
  doi = {10.1145/3428248},
  url = {https://doi.org/10.1145/3428248},
  researchr = {https://researchr.org/publication/RouvoetAPKV20},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {4},
  number = {OOPSLA},
}

@article{PoulsenNTV16Artifact,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)},
  author = {Casper Bach Poulsen and Pierre Néron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  doi = {10.4230/DARTS.2.1.10},
  url = {http://dx.doi.org/10.4230/DARTS.2.1.10},
  researchr = {https://researchr.org/publication/PoulsenNTV16Artifact},
  cites = {0},
  citedby = {0},
  journal = {DARTS},
  volume = {2},
  number = {1},
}