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

@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 = {GPCE},
}

@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 = {ECOOP},
}

@inproceedings{ZwaanP24-0,
  title = {Defining Name Accessibility Using Scope Graphs},
  author = {Aron Zwaan and Casper Bach Poulsen},
  year = {2024},
  doi = {10.4230/LIPIcs.ECOOP.2024.47},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.47},
  researchr = {https://researchr.org/publication/ZwaanP24-0},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP},
}

@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 = {ENTCS},
  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 = {ECOOP},
}

@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 = {ESOP},
}

@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 = {LDTA},
}

@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 = {DLS},
}

@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 = {PACMPL},
  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 = {SLE},
}

@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 = {BIRTHDAY},
}

@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 = {FUIN},
  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 = {PACMPL},
  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 = {ECOOP},
}

@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 = {PACMPL},
  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 = {ECOOP},
}

@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 = {PEPM},
}

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

@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 = {SLE},
}

@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 = {PACMPL},
  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},
}