% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/tud-pl-tu-delft-programming-languages

@article{CabotV12-0,
  title = {ICMT 2011 Special Section},
  author = {Jordi Cabot and Eelco Visser},
  year = {2012},
  doi = {10.5381/jot.2012.11.2.e2},
  url = {http://dx.doi.org/10.5381/jot.2012.11.2.e2},
  researchr = {https://researchr.org/publication/CabotV12-0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Object Technology},
  volume = {11},
  number = {2},
}

@phdthesis{Harkes19,
  title = {Declarative Specification of Information System Data Models and Business Logic},
  author = {Daco Harkes},
  year = {2019},
  url = {https://www.base-search.net/Record/8ed1529807591ce29158f438f054ba5a45f902739190f75831ceb28ae7e30590},
  note = {base-search.net (fttudelft:oai:tudelft.nl:uuid:5e9805ca-95d0-451e-a8f0-55decb26c94a)},
  researchr = {https://researchr.org/publication/Harkes19},
  cites = {0},
  citedby = {0},
  school = {Delft University of Technology, Netherlands},
  advisor = {Eelco Visser},
}

@inproceedings{SmitsKV19,
  title = {From Whole Program Compilation to Incremental Compilation: A Critical Case},
  author = {Jeff Smits and Gabriël Konat and Eelco Visser},
  year = {2019},
  month = {10},
  researchr = {https://researchr.org/publication/SmitsKV19},
  cites = {0},
  citedby = {0},
  booktitle = {Second Workshop on Incremental Computing (IC 2019)},
}

@article{BinsbergenMS19,
  title = {Executable component-based semantics},
  author = {L. Thomas van Binsbergen and Peter D. Mosses and Neil Sculthorpe},
  year = {2019},
  doi = {10.1016/j.jlamp.2018.12.004},
  url = {https://doi.org/10.1016/j.jlamp.2018.12.004},
  researchr = {https://researchr.org/publication/BinsbergenMS19},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {103},
  pages = {184-212},
}

@inproceedings{RouvoetPKV20,
  title = {Intrinsically-typed definitional interpreters for linear, session-typed languages},
  author = {Arjen Rouvoet and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
  year = {2020},
  doi = {10.1145/3372885.3373818},
  url = {https://doi.org/10.1145/3372885.3373818},
  researchr = {https://researchr.org/publication/RouvoetPKV20},
  cites = {0},
  citedby = {0},
  pages = {284-298},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020},
  editor = {Jasmin Blanchette and Catalin Hritcu},
  publisher = {ACM},
  isbn = {978-1-4503-7097-4},
}

@inproceedings{VolterV11,
  title = {Product Line Engineering Using Domain-Specific Languages},
  author = {Markus Völter and Eelco Visser},
  year = {2011},
  doi = {10.1109/SPLC.2011.25},
  url = {http://dx.doi.org/10.1109/SPLC.2011.25},
  researchr = {https://researchr.org/publication/VolterV11},
  cites = {0},
  citedby = {0},
  pages = {70-79},
  booktitle = {Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011},
  editor = {Eduardo Santana de Almeida and Tomoji Kishi and Christa Schwanninger and Isabel John and Klaus Schmid},
  publisher = {IEEE},
  isbn = {978-1-4577-1029-2},
}

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

@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{AhrensMM22,
  title = {Implementing a category-theoretic framework for typed abstract syntax},
  author = {Benedikt Ahrens and Ralph Matthes and Anders Mörtberg},
  year = {2022},
  doi = {10.1145/3497775.3503678},
  url = {https://doi.org/10.1145/3497775.3503678},
  researchr = {https://researchr.org/publication/AhrensMM22},
  cites = {0},
  citedby = {0},
  pages = {307-323},
  booktitle = {CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022},
  editor = {Andrei Popescu 0001 and Steve Zdancewic},
  publisher = {ACM},
  isbn = {978-1-4503-9182-5},
}

@inproceedings{LippeSPV16,
  title = {A scalable infrastructure for teaching concepts of programming languages in {Scala} with {WebLab}: an experience report},
  author = {Tim van der Lippe and Thomas Smith and Daniël A. A. Pelsmaeker and Eelco Visser},
  year = {2016},
  doi = {10.1145/2998392.2998402},
  url = {http://doi.acm.org/10.1145/2998392.2998402},
  researchr = {https://researchr.org/publication/LippeSPV16},
  cites = {0},
  citedby = {0},
  pages = {65-74},
  booktitle = {Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  editor = {Aggelos Biboudis and Manohar Jonnalagedda and Sandro Stucki and Vlad Ureche},
  publisher = {ACM},
  isbn = {978-1-4503-4648-1},
}

@inproceedings{KatsV10scam,
  title = {Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability},
  author = {Lennart C. L. Kats and Eelco Visser},
  year = {2010},
  doi = {10.1109/SCAM.2010.11},
  url = {http://dx.doi.org/10.1109/SCAM.2010.11},
  tags = {programming languages, object-oriented programming, case study, C++, logic programming, aspect oriented programming, programming, subject-oriented programming, logic, feature-oriented programming},
  researchr = {https://researchr.org/publication/KatsV10scam},
  cites = {0},
  citedby = {0},
  pages = {147-156},
  booktitle = {Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010, Timisoara, Romania, 12-13 September 2010},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4178-5},
}

@inproceedings{SmitsHC22,
  title = {Optimising First-Class Pattern Matching},
  author = {Jeff Smits and Toine Hartman and Jesper Cockx},
  year = {2022},
  doi = {10.1145/3567512.3567519},
  url = {https://doi.org/10.1145/3567512.3567519},
  researchr = {https://researchr.org/publication/SmitsHC22},
  cites = {0},
  citedby = {0},
  pages = {74-83},
  booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022},
  editor = {Bernd  Fischer and Lola Burgueño and Walter Cazzola},
  publisher = {ACM},
  isbn = {978-1-4503-9919-7},
}

@inproceedings{SzaboAVE16,
  title = {An extensible framework for variable-precision data-flow analyses in MPS},
  author = {Tamás Szabó and Simon Alperovich and Markus Völter and Sebastian Erdweg},
  year = {2016},
  doi = {10.1145/2970276.2970296},
  url = {http://doi.acm.org/10.1145/2970276.2970296},
  researchr = {https://researchr.org/publication/SzaboAVE16},
  cites = {0},
  citedby = {0},
  pages = {870-875},
  booktitle = {Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering},
  editor = {David Lo and Sven Apel and Sarfraz Khurshid},
  publisher = {ACM},
  isbn = {978-1-4503-3845-5},
}

@article{Mooij22,
  title = {Static type checking without downcast operator},
  author = {Arjan J. Mooij},
  year = {2022},
  doi = {10.1016/j.ipl.2022.106285},
  url = {https://doi.org/10.1016/j.ipl.2022.106285},
  researchr = {https://researchr.org/publication/Mooij22},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {178},
  pages = {106285},
}

@inproceedings{HemelV09,
  title = {{PIL}: A Platform Independent Language for Retargetable {DSLs}},
  author = {Zef  Hemel and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-12107-4_17},
  url = {http://dx.doi.org/10.1007/978-3-642-12107-4_17},
  tags = {DSL},
  researchr = {https://researchr.org/publication/HemelV09},
  cites = {0},
  citedby = {1},
  pages = {224-243},
  booktitle = {Software Language Engineering, Second International Conference, SLE 2009},
  editor = {Mark G. J. van den Brand and Dragan Gasevic and Jeffrey G. Gray},
  volume = {5969},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12106-7},
}

@article{AbelCDTW20,
  title = {Leibniz equality is isomorphic to Martin-Löf identity, parametrically},
  author = {Andreas Abel 0001 and Jesper Cockx and Dominique Devriese and Amin Timany and Philip Wadler},
  year = {2020},
  doi = {10.1017/S0956796820000155},
  url = {https://doi.org/10.1017/S0956796820000155},
  researchr = {https://researchr.org/publication/AbelCDTW20},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {30},
}

@inproceedings{GreweERM16,
  title = {Exploration of language specifications by compilation to first-order logic},
  author = {Sylvia Grewe and Sebastian Erdweg and Michael Raulf and Mira Mezini},
  year = {2016},
  doi = {10.1145/2967973.2968606},
  url = {http://doi.acm.org/10.1145/2967973.2968606},
  researchr = {https://researchr.org/publication/GreweERM16},
  cites = {0},
  citedby = {0},
  pages = {104-117},
  booktitle = {Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016},
  editor = {James Cheney and Germán Vidal},
  publisher = {ACM},
  isbn = {978-1-4503-4148-6},
}

@article{Mosses18,
  title = {CoFI with Don Sannella},
  author = {Peter D. Mosses},
  year = {2018},
  url = {https://www.wikidata.org/entity/Q57783357},
  researchr = {https://researchr.org/publication/Mosses18},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {741},
  pages = {44-47},
}

@inproceedings{KonatEV16-LIVE,
  title = {Towards Live Language Development},
  author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/KonatEV16-LIVE},
  cites = {0},
  citedby = {0},
  booktitle = {Workshop on Live Programming Systems (LIVE)},
}

@article{RestS22,
  title = {A completely unique account of enumeration},
  author = {Cas van der Rest and Wouter Swierstra},
  year = {2022},
  doi = {10.1145/3547636},
  url = {https://doi.org/10.1145/3547636},
  researchr = {https://researchr.org/publication/RestS22},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {ICFP},
  pages = {411-437},
}

@techreport{TUD-SERG-2017-011,
  title = {The Semantics of Name Resolution in Grace},
  author = {Vlad Vergu and Michiel Haisma and Eelco Visser},
  year = {2017},
  doi = {10.1145/3170472.3133847},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2017-011.pdf},
  note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2017-011.pdf}},
  researchr = {https://researchr.org/publication/TUD-SERG-2017-011},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group, Delft University of Technology},
  number = {TUD-SERG-2017-011},
}

@mastersthesis{Denkers2018,
  title = {A Modular SGLR Parsing Architecture for Systematic Performance Optimization},
  author = {Jasper Denkers},
  year = {2018},
  url = {http://resolver.tudelft.nl/uuid:7d9f9bcc-117c-4617-860a-4e3e0bbc8988},
  researchr = {https://researchr.org/publication/Denkers2018},
  cites = {0},
  citedby = {1},
  school = {Delft University of Technology},
}

@inproceedings{SteindorferV18,
  title = {To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries},
  author = {Michael J. Steindorfer and Jurgen J.  Vinju},
  year = {2018},
  doi = {10.1145/3192366.3192420},
  url = {http://doi.acm.org/10.1145/3192366.3192420},
  researchr = {https://researchr.org/publication/SteindorferV18},
  cites = {0},
  citedby = {0},
  pages = {283-295},
  booktitle = {Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018},
  editor = {Jeffrey S. Foster and Dan Grossman},
  publisher = {ACM},
}

@article{SzaboBEV18,
  title = {Incrementalizing lattice-based program analyses in Datalog},
  author = {Tamás Szabó and Gábor Bergmann and Sebastian Erdweg and Markus Voelter},
  year = {2018},
  doi = {10.1145/3276509},
  url = {https://doi.org/10.1145/3276509},
  researchr = {https://researchr.org/publication/SzaboBEV18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {OOPSLA},
}

@inproceedings{VisserOnward14,
  title = {A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs},
  author = {Eelco Visser and Guido Wachsmuth and Andrew P. Tolmach and Pierre Néron and Vlad A. Vergu and Augusto Passalaqua and Gabriël Konat},
  year = {2014},
  doi = {10.1145/2661136.2661149},
  url = {http://doi.acm.org/10.1145/2661136.2661149},
  researchr = {https://researchr.org/publication/VisserOnward14},
  cites = {0},
  citedby = {0},
  pages = {95-111},
  booktitle = {Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014},
  editor = {Andrew P. Black and Shriram Krishnamurthi and Bernd Bruegge and Joseph N. Ruskiewicz},
  publisher = {ACM},
  isbn = {978-1-4503-3210-1},
}

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

@inproceedings{HemelVV08,
  title = {{WebWorkFlow}: An Object-Oriented Workflow Modeling Language for Web Applications},
  author = {Zef  Hemel and Ruben  Verhaaf and Eelco Visser},
  year = {2008},
  doi = {10.1007/978-3-540-87875-9_8},
  url = {http://dx.doi.org/10.1007/978-3-540-87875-9_8},
  tags = {workflow patterns, model-to-model transformation, interaction design, WebDSL, transformation engineering, completeness, pattern language, meta-model, modeling language, modeling, language engineering, transformation language, language modeling, web engineering, language design, model-driven development, source-to-source, model-driven engineering, object-role modeling, model transformation, web applications, DSL, abstraction, Meta-Environment, workflow, process modeling, WebWorkFlow, meta-objects, transformation, domain-specific language},
  researchr = {https://researchr.org/publication/HemelVV08},
  cites = {0},
  citedby = {6},
  pages = {113-127},
  booktitle = {Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings},
  editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter},
  volume = {5301},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87874-2},
}

@inproceedings{VolterV10,
  title = {Language extension and composition with language workbenches},
  author = {Markus Völter and Eelco Visser},
  year = {2010},
  doi = {10.1145/1869542.1869623},
  url = {http://doi.acm.org/10.1145/1869542.1869623},
  tags = {workbench, composition, language workbench},
  researchr = {https://researchr.org/publication/VolterV10},
  cites = {0},
  citedby = {0},
  pages = {301-304},
  booktitle = {Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  publisher = {ACM},
  isbn = {978-1-4503-0240-1},
}

@article{HemelKGV10,
  title = {Code generation by model transformation: a case study in transformation modularity},
  author = {Zef  Hemel and Lennart C. L. Kats and Danny M.  Groenewegen and Eelco Visser},
  year = {2010},
  doi = {10.1007/s10270-009-0136-1},
  tags = {model-to-model transformation, case study, meta-model, source-to-source, C++, code generation, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/HemelKGV10},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {9},
  number = {3},
  pages = {375-402},
}

@phdthesis{dnb-22573,
  title = {Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation},
  author = {Paolo G. Giarrusso},
  year = {2020},
  url = {http://d-nb.info/1205313524},
  researchr = {https://researchr.org/publication/dnb-22573},
  cites = {0},
  citedby = {0},
  school = {University of Tübingen, Germany},
}

@inproceedings{KatsKV08,
  title = {Generating Editors for Embedded Languages. Integrating SGLR into IMP},
  author = {Lennart C. L. Kats and Karl Trygve Kalleberg and Eelco Visser},
  year = {2008},
  month = {April},
  tags = {rule-based, Eclipse, syntax definition, completeness, SDF, SQL, C++, code generation, abstraction, Spoofax, Meta-Environment, parsing, scannerless parsing, extensible language, ASF+SDF, SGLR, query language, domain-specific language},
  researchr = {https://researchr.org/publication/KatsKV08},
  cites = {0},
  citedby = {1},
  booktitle = {Proceedings of the Eight Workshop on Language Descriptions, Tools, and Applications},
  editor = {Jurgen J.  Vinju and Adrian Johnstone},
  volume = {238},
  number = {5},
  series = {Electronic Notes in Theoretical Computer Science   },
  publisher = {Elsevier},
}

@inproceedings{KatsV10a,
  title = {The {Spoofax} language workbench},
  author = {Lennart C. L. Kats and Eelco Visser},
  year = {2010},
  doi = {10.1145/1869542.1869592},
  url = {http://doi.acm.org/10.1145/1869542.1869592},
  tags = {programming languages, workbench, syntax definition, meta programming, transformation language, C++, code generation, language workbench, Spoofax, Meta-Environment, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/KatsV10a},
  cites = {0},
  citedby = {0},
  pages = {237-238},
  booktitle = {Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  publisher = {ACM},
  isbn = {978-1-4503-0240-1},
}

@inproceedings{KatsJNV09,
  title = {Providing rapid feedback in generated modular language environments: adding error recovery to scannerless {generalized-LR} parsing},
  author = {Lennart C. L. Kats and Maartje  de Jonge and Emma  Nilsson-Nyman and Eelco Visser},
  year = {2009},
  doi = {10.1145/1640089.1640122},
  url = {http://doi.acm.org/10.1145/1640089.1640122},
  tags = {parsing algorithm, semantics, rule-based, Java, SDF, composition, analysis, principles, C++, code generation, context-aware, Meta-Environment, parsing, scannerless parsing, systematic-approach, island grammars, ASF+SDF, grammar, Stratego},
  researchr = {https://researchr.org/publication/KatsJNV09},
  cites = {0},
  citedby = {1},
  pages = {445-464},
  booktitle = {Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-766-0},
}

@article{DemetrescuEHK16,
  title = {Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)},
  author = {Camil Demetrescu and Sebastian Erdweg and Matthew A. Hammer and Shriram Krishnamurthi},
  year = {2016},
  doi = {10.4230/DagRep.6.10.1},
  url = {http://dx.doi.org/10.4230/DagRep.6.10.1},
  researchr = {https://researchr.org/publication/DemetrescuEHK16},
  cites = {0},
  citedby = {0},
  journal = {Dagstuhl Reports},
  volume = {6},
  number = {10},
  pages = {1-12},
}

@article{BouwersBV08,
  title = {Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking},
  author = {Eric Bouwers and Martin  Bravenboer and Eelco Visser},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.046},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.046},
  tags = {programming languages, semantics, rule-based, syntax definition, YACC, precedence rule, SDF, Stratego/XT, language engineering, grammar engineering, PHP, rules, C++, migration, compiler, programming, operational semantics, priority, parsing, scannerless parsing, systematic-approach, ASF+SDF, grammar, Stratego},
  researchr = {https://researchr.org/publication/BouwersBV08},
  cites = {0},
  citedby = {1},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {203},
  number = {2},
  pages = {85-101},
}

@article{Krebbers16,
  title = {A Formal C Memory Model for Separation Logic},
  author = {Robbert Krebbers},
  year = {2016},
  doi = {10.1007/s10817-016-9369-1},
  url = {http://dx.doi.org/10.1007/s10817-016-9369-1},
  researchr = {https://researchr.org/publication/Krebbers16},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {57},
  number = {4},
  pages = {319-387},
}

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

@inproceedings{Visser07,
  title = {{WebDSL}: {A} Case Study in Domain-Specific Language Engineering},
  author = {Eelco Visser},
  year = {2007},
  doi = {10.1007/978-3-540-88643-3_7},
  url = {http://dx.doi.org/10.1007/978-3-540-88643-3_7},
  tags = {WebDSL, reusable components, DSL engineering, web application development, data-flow language, pattern language, case study, software components, SDF, meta-model, abstract syntax, modeling language, Stratego/XT, language engineering, software language engineering, language modeling, software component, web engineering, language design, reuse, model-driven development, data-flow, survey, software engineering, model-driven engineering, web applications, DSL, Meta-Environment, incremental, design, process modeling, systematic-approach, ASF+SDF, language, Stratego, domain-specific language},
  researchr = {https://researchr.org/publication/Visser07},
  cites = {0},
  citedby = {9},
  pages = {291-373},
  booktitle = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007},
  editor = {Ralf Lämmel and Joost Visser and João Saraiva},
  volume = {5235},
  series = {Lecture Notes in Computer Science},
  address = {Braga, Portugal},
  publisher = {Springer},
  isbn = {978-3-540-88642-6},
}

@inproceedings{GreweEM16,
  title = {Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny},
  author = {Sylvia Grewe and Sebastian Erdweg and Mira Mezini},
  year = {2016},
  url = {http://www.easychair.org/publications/paper/Automating_Proof_Steps_of_Progress_Proofs_Comparing_Vampire_and_Dafny},
  researchr = {https://researchr.org/publication/GreweEM16},
  cites = {0},
  citedby = {0},
  pages = {33-45},
  booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016},
  editor = {Laura Kovács and Andrei Voronkov},
  volume = {44},
  series = {EPiC Series in Computing},
  publisher = {EasyChair},
}

@inproceedings{Cockx19,
  title = {Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules},
  author = {Jesper Cockx},
  year = {2019},
  doi = {10.4230/LIPIcs.TYPES.2019.2},
  url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.2},
  researchr = {https://researchr.org/publication/Cockx19},
  cites = {0},
  citedby = {0},
  booktitle = {25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway},
  editor = {Marc Bezem and Assia Mahboubi},
  volume = {175},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-158-0},
}

@article{GroenewegenHV10,
  title = {Separation of Concerns and Linguistic Integration in {WebDSL}},
  author = {Danny M.  Groenewegen and Zef  Hemel and Eelco Visser},
  year = {2010},
  doi = {10.1109/MS.2010.92},
  url = {http://dx.doi.org/10.1109/MS.2010.92},
  tags = {WebDSL, separation of concerns},
  researchr = {https://researchr.org/publication/GroenewegenHV10},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {27},
  number = {5},
  pages = {31-37},
}

@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{SmitsV17,
  title = {{FlowSpec}: declarative dataflow analysis specification},
  author = {Jeff Smits and Eelco Visser},
  year = {2017},
  doi = {10.1145/3136014.3136029},
  url = {http://doi.acm.org/10.1145/3136014.3136029},
  researchr = {https://researchr.org/publication/SmitsV17},
  cites = {0},
  citedby = {0},
  pages = {221-231},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  editor = {Benoît Combemale and Marjan Mernik and Bernhard Rumpe},
  publisher = {ACM},
  isbn = {978-1-4503-5525-4},
}

@techreport{HuismanSV19,
  title = {A Research Agenda for Formal Methods in the Netherlands},
  author = {Marieke Huisman and Wouter Swierstra and Eelco Visser},
  year = {2019},
  month = {July},
  url = {http://www.staff.science.uu.nl/~swier004/publications/2019-CS-004.pdf},
  researchr = {https://researchr.org/publication/HuismanSV19},
  cites = {0},
  citedby = {0},
  institution = {Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands},
  number = {UU-CS-2019-004},
}

@inproceedings{GroenewegenHKV08,
  title = {WebDSL: a domain-specific language for dynamic web applications},
  author = {Danny M.  Groenewegen and Zef  Hemel and Lennart C. L. Kats and Eelco Visser},
  year = {2008},
  doi = {10.1145/1449814.1449858},
  url = {http://doi.acm.org/10.1145/1449814.1449858},
  tags = {WebDSL, meta-model, modeling language, modeling, language engineering, language modeling, web engineering, model-driven engineering, C++, web applications, DSL, logic, abstraction, Meta-Environment, access control, workflow, domain-specific language},
  researchr = {https://researchr.org/publication/GroenewegenHKV08},
  cites = {0},
  citedby = {0},
  pages = {779-780},
  booktitle = {Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-220-7},
}

@article{KaiserZKRD18,
  title = {Mtac2: typed tactics for backward reasoning in Coq},
  author = {Jan-Oliver Kaiser and Beta Ziliani and Robbert Krebbers and Yann Régis-Gianas and Derek Dreyer},
  year = {2018},
  doi = {10.1145/3236773},
  url = {https://doi.org/10.1145/3236773},
  researchr = {https://researchr.org/publication/KaiserZKRD18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
}

@inproceedings{HarkesGV16,
  title = {IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs},
  author = {Daco Harkes and Danny M.  Groenewegen and Eelco Visser},
  year = {2016},
  doi = {10.4230/LIPIcs.ECOOP.2016.11},
  url = {http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.11},
  researchr = {https://researchr.org/publication/HarkesGV16},
  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},
}

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

@article{BizjakGKB19,
  title = {Iron: managing obligations in higher-order concurrent separation logic},
  author = {Ales Bizjak and Daniel Gratzer and Robbert Krebbers and Lars Birkedal},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3290378},
  researchr = {https://researchr.org/publication/BizjakGKB19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
}

@article{HemelGKV11,
  title = {Static consistency checking of web applications with {WebDSL}},
  author = {Zef  Hemel and Danny M.  Groenewegen and Lennart C. L. Kats and Eelco Visser},
  year = {2011},
  doi = {10.1016/j.jsc.2010.08.006},
  url = {https://doi.org/10.1016/j.jsc.2010.08.006},
  tags = {model-to-model transformation, WebDSL, rule-based, application framework, model checking, XML, XML Schema, transformation language, points-to analysis, domain analysis, analysis, language design, static analysis, model-driven development, source-to-source, rules, C++, compiler, model transformation, web applications, consistency, abstraction, design, systematic-approach, open-source, transformation, Ruby on Rails, Stratego, Ruby, query language, domain-specific language},
  researchr = {https://researchr.org/publication/HemelGKV11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {46},
  number = {2},
  pages = {150-182},
}

@inproceedings{VerguV18,
  title = {Specializing a meta-interpreter: JIT compilation of {D}ynsem specifications on the {G}raal VM},
  author = {Vlad A. Vergu and Eelco Visser},
  year = {2018},
  doi = {10.1145/3237009.3237018},
  url = {https://doi.org/10.1145/3237009.3237018},
  researchr = {https://researchr.org/publication/VerguV18},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 15th International Conference on Managed Languages \& Runtimes, ManLang 2018, Linz, Austria, September 12-14, 2018},
  editor = {Eli Tilevich and Hanspeter Mössenböck},
  publisher = {ACM},
  isbn = {978-1-4503-6424-9},
}

@article{PoulsenM17,
  title = {Flag-based big-step semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2017},
  doi = {10.1016/j.jlamp.2016.05.001},
  url = {http://dx.doi.org/10.1016/j.jlamp.2016.05.001},
  researchr = {https://researchr.org/publication/PoulsenM17},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {88},
  pages = {174-190},
}

@inproceedings{VoelterSLKEB16,
  title = {Efficient development of consistent projectional editors using grammar cells},
  author = {Markus Völter and Tamás Szabó and Sascha Lisson and  Bernd Kolb and Sebastian Erdweg and Thorsten Berger},
  year = {2016},
  url = {http://dl.acm.org/citation.cfm?id=2997365},
  researchr = {https://researchr.org/publication/VoelterSLKEB16},
  cites = {0},
  citedby = {0},
  pages = {28-40},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016},
  editor = {Tijs van der Storm and Emilie Balland and Dániel Varró},
  publisher = {ACM},
  isbn = {978-1-4503-4447-0},
}

@proceedings{scala-2018,
  title = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  year = {2018},
  doi = {10.1145/3241653},
  url = {https://doi.org/10.1145/3241653},
  researchr = {https://researchr.org/publication/scala-2018},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  conference = {SCALA},
  editor = {Sebastian Erdweg and Bruno C. D. S. Oliveira},
  publisher = {ACM},
}

@article{SmitsKV20,
  title = {Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System},
  author = {Jeff Smits and Gabriël Konat and Eelco Visser},
  year = {2020},
  doi = {10.22152/programming-journal.org/2020/4/16},
  url = {https://doi.org/10.22152/programming-journal.org/2020/4/16},
  researchr = {https://researchr.org/publication/SmitsKV20},
  cites = {0},
  citedby = {0},
  journal = {Programming Journal},
  volume = {4},
  number = {3},
  pages = {16},
}

@inproceedings{Denkers19,
  title = {A longitudinal field study on creation and use of domain-specific languages in industry},
  author = {Jasper Denkers},
  year = {2019},
  doi = {10.1145/3338906.3341463},
  url = {https://doi.org/10.1145/3338906.3341463},
  researchr = {https://researchr.org/publication/Denkers19},
  cites = {0},
  citedby = {0},
  pages = {1152-1155},
  booktitle = {Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019},
  editor = {Marlon Dumas and Dietmar Pfahl and Sven Apel and Alessandra Russo},
  publisher = {ACM},
  isbn = {978-1-4503-5572-8},
}

@inproceedings{JongeNKV09,
  title = {Natural and Flexible Error Recovery for Generated Parsers},
  author = {Maartje  de Jonge and Emma  Nilsson-Nyman and Lennart C. L. Kats and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-12107-4_16},
  url = {http://dx.doi.org/10.1007/978-3-642-12107-4_16},
  tags = {semantics, rule-based, Java, Eclipse, rules, C++, search suggestions, context-aware, search, parsing, error recovery, systematic-approach, SGLR, grammar},
  researchr = {https://researchr.org/publication/JongeNKV09},
  cites = {0},
  citedby = {0},
  pages = {204-223},
  booktitle = {Software Language Engineering, Second International Conference, SLE 2009},
  editor = {Mark G. J. van den Brand and Dragan Gasevic and Jeffrey G. Gray},
  volume = {5969},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12106-7},
}

@proceedings{oopsla-2016onward,
  title = {2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2016, Amsterdam, The Netherlands, November 2-4, 2016},
  year = {2016},
  doi = {10.1145/2986012},
  url = {http://doi.acm.org/10.1145/2986012},
  researchr = {https://researchr.org/publication/oopsla-2016onward},
  cites = {0},
  citedby = {0},
  booktitle = {2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2016, Amsterdam, The Netherlands, November 2-4, 2016},
  conference = {OOPSLA},
  editor = {Eelco Visser and Emerson R. Murphy-Hill and Crista Lopes},
  publisher = {ACM},
  isbn = {978-1-4503-4076-2},
}

@article{GreweEPRM18,
  title = {Exploration of language specifications by compilation to first-order logic},
  author = {Sylvia Grewe and Sebastian Erdweg and André Pacak and Michael Raulf and Mira Mezini},
  year = {2018},
  doi = {10.1016/j.scico.2017.08.001},
  url = {https://doi.org/10.1016/j.scico.2017.08.001},
  researchr = {https://researchr.org/publication/GreweEPRM18},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {155},
  pages = {146-172},
}

@article{Mosses19,
  title = {Software meta-language engineering and CBS},
  author = {Peter D. Mosses},
  year = {2019},
  doi = {10.1016/j.jvlc.2018.11.003},
  url = {https://doi.org/10.1016/j.jvlc.2018.11.003},
  researchr = {https://researchr.org/publication/Mosses19},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {50},
  pages = {39-48},
}

@article{KallebergV08,
  title = {Fusing a Transformation Language with an Open Compiler},
  author = {Karl Trygve Kalleberg and Eelco Visser},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.042},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.042},
  tags = {programming languages, model-to-model transformation, object-oriented programming, rule-based, Java, program analysis, Eclipse, completeness, data-flow language, graph transformation, interpreter, abstract syntax, Stratego/XT, transformation language, term rewriting, functional programming, Eclipse Java Compiler, points-to analysis, domain analysis, analysis, type system, reuse, data-flow programming, data-flow, source-to-source, graph-rewriting, logic programming, transformation system, compiler, model transformation, open compiler, subject-oriented programming, context-aware, logic, Spoofax, rewriting logic, rewriting, data-flow analysis, parsing, feature-oriented programming, open-source, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/KallebergV08},
  cites = {0},
  citedby = {1},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {203},
  number = {2},
  pages = {21-36},
}

@article{ErdwegEPV15,
  title = {Domain-Specific Languages (Dagstuhl Seminar 15062)},
  author = {Sebastian Erdweg and Martin Erwig and Richard F. Paige and Eelco Visser},
  year = {2015},
  doi = {10.4230/DagRep.5.2.26},
  url = {http://dx.doi.org/10.4230/DagRep.5.2.26},
  researchr = {https://researchr.org/publication/ErdwegEPV15},
  cites = {0},
  citedby = {0},
  journal = {Dagstuhl Reports},
  volume = {5},
  number = {2},
  pages = {26-43},
}

@inproceedings{KonatEV16,
  title = {Bootstrapping Domain-Specific Meta-Languages in Language Workbenches},
  author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser},
  year = {2016},
  doi = {10.1145/2993236.2993242},
  url = {http://doi.acm.org/10.1145/2993236.2993242},
  researchr = {https://researchr.org/publication/KonatEV16},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016},
  editor = {Bernd Fischer and Ina Schaefer},
  publisher = {ACM},
  isbn = {978-1-4503-4446-3},
}

@inproceedings{VerguNV15,
  title = {DynSem: A {DSL} for Dynamic Semantics Specification},
  author = {Vlad A. Vergu and Pierre Néron and Eelco Visser},
  year = {2015},
  doi = {10.4230/LIPIcs.RTA.2015.365},
  url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.365},
  researchr = {https://researchr.org/publication/VerguNV15},
  cites = {0},
  citedby = {0},
  pages = {365-378},
  booktitle = {26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland},
  editor = {Maribel Fernández},
  volume = {36},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-85-9},
}

@inproceedings{KatsVV11a,
  title = {Testing domain-specific languages},
  author = {Lennart C. L. Kats and Rob Vermaas and Eelco Visser},
  year = {2011},
  doi = {10.1145/2048147.2048160},
  url = {http://doi.acm.org/10.1145/2048147.2048160},
  researchr = {https://researchr.org/publication/KatsVV11a},
  cites = {0},
  citedby = {0},
  pages = {25-26},
  booktitle = {Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  editor = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0942-4},
}

@article{JungJKD18,
  title = {RustBelt: securing the foundations of the rust programming language},
  author = {Ralf Jung and Jacques-Henri Jourdan and Robbert Krebbers and Derek Dreyer},
  year = {2018},
  doi = {10.1145/3158154},
  url = {http://doi.acm.org/10.1145/3158154},
  researchr = {https://researchr.org/publication/JungJKD18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {POPL},
}

@inproceedings{JongeV11,
  title = {An Algorithm for Layout Preservation in Refactoring Transformations},
  author = {Maartje  de Jonge and Eelco Visser},
  year = {2011},
  doi = {10.1007/978-3-642-28830-2_3},
  url = {http://dx.doi.org/10.1007/978-3-642-28830-2_3},
  researchr = {https://researchr.org/publication/JongeV11},
  cites = {0},
  citedby = {0},
  pages = {40-59},
  booktitle = {Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers},
  editor = {Anthony M. Sloane and Uwe Aßmann},
  volume = {6940},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28829-6},
}

@article{DuranRBBEKKMSV09,
  title = {The Second Rewrite Engines Competition},
  author = {Francisco Durán and Manuel Roldán and Emilie  Balland and Mark G. J. van den Brand and Steven Eker and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Ruslan Shevchenko and Eelco Visser},
  year = {2009},
  doi = {10.1016/j.entcs.2009.05.025},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.05.025},
  tags = {rewrite engine, SDF, term rewriting, graph-rewriting, C++, logic, rewriting logic, rewriting, rewriting strategies, ASF+SDF, Stratego},
  researchr = {https://researchr.org/publication/DuranRBBEKKMSV09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {238},
  number = {3},
  pages = {281-291},
}

@inproceedings{AmorimEWV16,
  title = {Principled syntactic code completion using placeholders},
  author = {Luis Eduardo de Souza Amorim and Sebastian Erdweg and Guido Wachsmuth and Eelco Visser},
  year = {2016},
  doi = {10.1145/2997364.2997374},
  url = {http://dx.doi.org/10.1145/2997364.2997374},
  researchr = {https://researchr.org/publication/AmorimEWV16},
  cites = {0},
  citedby = {0},
  pages = {163-175},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016},
  editor = {Tijs van der Storm and Emilie Balland and Dániel Varró},
  publisher = {ACM},
  isbn = {978-1-4503-4447-0},
}

@article{JongeKVS12,
  title = {Natural and Flexible Error Recovery for Generated Modular Language Environments},
  author = {Maartje  de Jonge and Lennart C. L. Kats and Eelco Visser and Emma Söderberg},
  year = {2012},
  doi = {10.1145/2400676.2400678},
  url = {http://doi.acm.org/10.1145/2400676.2400678},
  researchr = {https://researchr.org/publication/JongeKVS12},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {34},
  number = {4},
  pages = {15},
}

@inproceedings{BravenboerTV06,
  title = {Declarative, formal, and extensible syntax definition for {AspectJ}},
  author = {Martin  Bravenboer and Éric Tanter and Eelco Visser},
  year = {2006},
  doi = {10.1145/1167473.1167491},
  url = {http://doi.acm.org/10.1145/1167473.1167491},
  tags = {programming languages, AspectJ, object-oriented programming, Java, syntax definition, SDF, lexical syntax, design complexity, composition, design research, language design, aspect oriented programming, compiler, programming, subject-oriented programming, context-aware, language composition, parsing, design, scannerless parsing, extensible language, ASF+SDF, feature-oriented programming, SGLR, grammar},
  researchr = {https://researchr.org/publication/BravenboerTV06},
  cites = {0},
  citedby = {1},
  pages = {209-228},
  booktitle = {Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-348-4},
}

@inproceedings{KallebergV07,
  title = {Spoofax: An Interactive Development Environment for Program Transformation with Stratego/XT},
  author = {Karl Trygve Kalleberg and Eelco Visser},
  year = {2007},
  month = {March},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-018.pdf},
  tags = {model-to-model transformation, meta programming, meta-model, model-driven development, model transformation, Spoofax, Meta-Environment, meta-objects, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/KallebergV07},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007)},
  series = {Electronic Notes in Theoretical Computer Science},
  address = {Braga, Portugal},
  publisher = {Elsevier},
}

@article{SloaneKV13,
  title = {A pure embedding of attribute grammars},
  author = {Anthony M. Sloane and Lennart C. L. Kats and Eelco Visser},
  year = {2013},
  doi = {10.1016/j.scico.2011.11.005},
  url = {http://dx.doi.org/10.1016/j.scico.2011.11.005},
  researchr = {https://researchr.org/publication/SloaneKV13},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {78},
  number = {10},
  pages = {1752-1769},
}

@inproceedings{GeestVDV08,
  title = {Generating Version Convertors for Domain-Specific Languages},
  author = {Gerardo de Geest and Sander Vermolen and Arie  van Deursen and Eelco Visser},
  year = {2008},
  doi = {10.1109/WCRE.2008.50},
  url = {http://dx.doi.org/10.1109/WCRE.2008.50},
  tags = {case study, meta-model, evolution, modeling language, modeling, dsl-tools, language modeling, model-driven development, software evolution, DSL, abstraction, Meta-Environment, convertors, systematic-approach, language, meta-objects, domain-specific language},
  researchr = {https://researchr.org/publication/GeestVDV08},
  cites = {0},
  citedby = {0},
  pages = {197-201},
  booktitle = {WCRE 2008, Proceedings of the 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 15-18, 2008},
  publisher = {IEEE},
}

@inproceedings{VisserModularity14,
  title = {Separation of concerns in language definition},
  author = {Eelco Visser},
  year = {2014},
  doi = {10.1145/2584469.2584662},
  url = {http://doi.acm.org/10.1145/2584469.2584662},
  researchr = {https://researchr.org/publication/VisserModularity14},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
  editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-4503-2772-5},
}

@misc{AmorimV20-IWC,
  title = {Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering},
  author = {Luí­s Eduardo Amorim de Souza and Eelco Visser},
  year = {2020},
  month = {June},
  note = {Extended abstract for talk presented at International Workshop on Confluence 2020 (IWC 2020) in Paris, June 2020.},
  researchr = {https://researchr.org/publication/AmorimV20-IWC},
  cites = {0},
  citedby = {0},
}

@inproceedings{0002KBD16,
  title = {Higher-order ghost state},
  author = {Ralf Jung 0002 and Robbert Krebbers and Lars Birkedal and Derek Dreyer},
  year = {2016},
  doi = {10.1145/2951913.2951943},
  url = {http://doi.acm.org/10.1145/2951913.2951943},
  researchr = {https://researchr.org/publication/0002KBD16},
  cites = {0},
  citedby = {0},
  pages = {256-269},
  booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016},
  editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii},
  publisher = {ACM},
  isbn = {978-1-4503-4219-3},
}

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

@misc{HarkesV17-IC,
  title = {IceDust Calculation Strategy Composition Performance in Web Applications},
  author = {Daco Harkes and Eelco Visser},
  year = {2017},
  researchr = {https://researchr.org/publication/HarkesV17-IC},
  cites = {0},
  citedby = {0},
}

@inproceedings{HemelV11a,
  title = {Mobl: the new language of the mobile web},
  author = {Zef  Hemel and Eelco Visser},
  year = {2011},
  doi = {10.1145/2048147.2048159},
  url = {http://doi.acm.org/10.1145/2048147.2048159},
  researchr = {https://researchr.org/publication/HemelV11a},
  cites = {0},
  citedby = {0},
  pages = {23-24},
  booktitle = {Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  editor = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0942-4},
}

@incollection{Visser19-0,
  title = {Fast and Safe Linguistic Abstraction for the Masses},
  author = {Eelco Visser},
  year = {2019},
  month = {July},
  url = {http://eelcovisser.org/blog/2019/09/29/fast-and-safe-linguistic-abstraction-for-the-masses/},
  note = {Technical Report UU-CS-2019-004},
  researchr = {https://researchr.org/publication/Visser19-0},
  cites = {0},
  citedby = {0},
  pages = {10-11},
  booktitle = {A Research Agenda for Formal Methods in the Netherlands},
  organization = {Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands},
}

@article{GroenewegenV13,
  title = {Integration of data validation and user interface concerns in a {DSL} for web applications},
  author = {Danny M.  Groenewegen and Eelco Visser},
  year = {2013},
  doi = {10.1007/s10270-010-0173-9},
  url = {http://dx.doi.org/10.1007/s10270-010-0173-9},
  tags = {WebDSL},
  researchr = {https://researchr.org/publication/GroenewegenV13},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {12},
  number = {1},
  pages = {35-52},
}

@inproceedings{RochaS0GSCB22,
  title = {Lasagne: a static binary translator for weak memory model architectures},
  author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
  year = {2022},
  doi = {10.1145/3519939.3523719},
  url = {https://doi.org/10.1145/3519939.3523719},
  researchr = {https://researchr.org/publication/RochaS0GSCB22},
  cites = {0},
  citedby = {0},
  pages = {888-902},
  booktitle = {PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022},
  editor = {Ranjit Jhala and Isil Dillig},
  publisher = {ACM},
  isbn = {978-1-4503-9265-5},
}

@inproceedings{BravenboerKVV06,
  title = {{Stratego/XT 0.16}: components for transformation systems},
  author = {Martin  Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser},
  year = {2006},
  doi = {10.1145/1111542.1111558},
  url = {http://doi.acm.org/10.1145/1111542.1111558},
  tags = {control systems, programming languages, object-oriented programming, concrete object syntax, reusable components, rule-based, completeness, meta programming, pattern language, graph transformation, Stratego/XT, transformation language, reuse, graph-rewriting, rules, transformation system, subject-oriented programming, context-aware, abstraction, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, meta-objects, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerKVV06},
  cites = {0},
  citedby = {0},
  pages = {95-99},
  booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  editor = {John Hatcliff and Frank Tip},
  publisher = {ACM},
  isbn = {1-59593-196-1},
}

@inproceedings{KatsVKV12,
  title = {Software development environments on the web: a research agenda},
  author = {Lennart C. L. Kats and Richard Vogelij and Karl Trygve Kalleberg and Eelco Visser},
  year = {2012},
  doi = {10.1145/2384592.2384603},
  url = {http://doi.acm.org/10.1145/2384592.2384603},
  researchr = {https://researchr.org/publication/KatsVKV12},
  cites = {0},
  citedby = {0},
  pages = {99-116},
  booktitle = {ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012},
  editor = {Gary T. Leavens and Jonathan Edwards},
  publisher = {ACM},
  isbn = {978-1-4503-1562-3},
}

@inproceedings{DenkersGV18,
  title = {Migrating custom {DSL} implementations to a language workbench (tool demo)},
  author = {Jasper Denkers and Louis van Gool and Eelco Visser},
  year = {2018},
  doi = {10.1145/3276604.3276608},
  url = {https://doi.org/10.1145/3276604.3276608},
  researchr = {https://researchr.org/publication/DenkersGV18},
  cites = {0},
  citedby = {0},
  pages = {205-209},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018},
  editor = {David Pearce 0005 and Tanja Mayerhofer and Friedrich Steimann},
  publisher = {ACM},
  isbn = {978-1-4503-6029-6},
}

@inproceedings{ErdwegVMV14-demo,
  title = {Finding bugs in program generators by dynamic analysis of syntactic language constraints},
  author = {Sebastian Erdweg and Vlad A. Vergu and Mira Mezini and Eelco Visser},
  year = {2014},
  doi = {10.1145/2584469.2584474},
  url = {http://doi.acm.org/10.1145/2584469.2584474},
  researchr = {https://researchr.org/publication/ErdwegVMV14-demo},
  cites = {0},
  citedby = {0},
  pages = {17-20},
  booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
  editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-4503-2772-5},
}

@inproceedings{ErdwegSV13,
  title = {The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge},
  author = {Sebastian Erdweg and Tijs van der Storm and Markus Völter and  Meinte Boersma and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël Konat and Pedro J. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin van der Vlist and Guido Wachsmuth and Jimi van der Woning},
  year = {2013},
  doi = {10.1007/978-3-319-02654-1_11},
  url = {http://dx.doi.org/10.1007/978-3-319-02654-1_11},
  researchr = {https://researchr.org/publication/ErdwegSV13},
  cites = {0},
  citedby = {0},
  pages = {197-217},
  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},
}

@article{AhrensFMVW21,
  title = {Bicategories in univalent foundations},
  author = {Benedikt Ahrens and Dan Frumin and Marco Maggesi and Niccolò Veltri and Niels van der Weide},
  year = {2021},
  doi = {10.1017/S0960129522000032},
  url = {https://doi.org/10.1017/S0960129522000032},
  researchr = {https://researchr.org/publication/AhrensFMVW21},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {31},
  number = {10},
  pages = {1232-1269},
}

@article{GilbertCST19,
  title = {Definitional proof-irrelevance without K},
  author = {Gaëtan Gilbert and Jesper Cockx and Matthieu Sozeau and Nicolas Tabareau},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3290316},
  researchr = {https://researchr.org/publication/GilbertCST19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
}

@article{RamalingamV11,
  title = {Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)},
  author = {Ganesan Ramalingam and Eelco Visser},
  year = {2011},
  month = {June},
  doi = {10.1016/j.scico.2011.01.001},
  url = {http://dx.doi.org/10.1016/j.scico.2011.01.001},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/RamalingamV11},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {76},
  number = {6},
  pages = {467-468},
}

@article{GluckV11,
  title = {Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005)},
  author = {Robert Glück and Eelco Visser},
  year = {2011},
  month = {May},
  doi = {10.1016/j.scico.2011.02.001},
  url = {http://dx.doi.org/10.1016/j.scico.2011.02.001},
  tags = {generative programming, programming},
  researchr = {https://researchr.org/publication/GluckV11},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {76},
  number = {5},
  pages = {347-348},
}

@inproceedings{BurgDV09,
  title = {Software deployment in a dynamic cloud: From device to service orientation in a hospital environment},
  author = {Sander  van der Burg and Eelco  Dolstra and Eelco Visser and Merijn de Jonge},
  year = {2009},
  month = {May},
  doi = {10.1109/CLOUD.2009.5071534},
  url = {http://dx.doi.org/10.1109/CLOUD.2009.5071534},
  tags = {deployment, software architecture, software components, distributed deployment, meta-model, architecture, software deployment, Nix, software component, Meta-Environment},
  researchr = {https://researchr.org/publication/BurgDV09},
  cites = {0},
  citedby = {0},
  booktitle = {CLOUD '09: Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing},
  editor = {Kamal Bhattacharya and Martin Bichler and Stefan Tai},
  address = {Vancouver, Canada},
  publisher = {IEEE Computer Society},
}

@inproceedings{LorenzenE16,
  title = {Sound type-dependent syntactic language extension},
  author = {Florian Lorenzen and Sebastian Erdweg},
  year = {2016},
  doi = {10.1145/2837614.2837644},
  url = {http://doi.acm.org/10.1145/2837614.2837644},
  researchr = {https://researchr.org/publication/LorenzenE16},
  cites = {0},
  citedby = {0},
  pages = {204-216},
  booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Rastislav Bodik and Rupak Majumdar},
  publisher = {ACM},
  isbn = {978-1-4503-3549-2},
}

@article{SmitsWV20,
  title = {FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow Analysis},
  author = {Jeff Smits and Guido Wachsmuth and Eelco Visser},
  year = {2020},
  doi = {10.1016/j.cola.2019.100924},
  url = {https://doi.org/10.1016/j.cola.2019.100924},
  researchr = {https://researchr.org/publication/SmitsWV20},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {57},
  pages = {100924},
}

@inproceedings{GroenewegenV09-demo,
  title = {Weaving web applications with WebDSL: (demonstration)},
  author = {Danny M.  Groenewegen and Eelco Visser},
  year = {2009},
  doi = {10.1145/1639950.1640020},
  url = {http://doi.acm.org/10.1145/1639950.1640020},
  tags = {data validation, WebDSL, Java, completeness, data-flow language, meta-model, modeling language, modeling, language modeling, model-driven development, data-flow, weaving, compiler, web applications, consistency, Meta-Environment, access control, workflow, domain-specific language},
  researchr = {https://researchr.org/publication/GroenewegenV09-demo},
  cites = {0},
  citedby = {0},
  pages = {797-798},
  booktitle = {Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-768-4},
}

@inproceedings{HarkesV17,
  title = {IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition},
  author = {Daco Harkes and Eelco Visser},
  year = {2017},
  doi = {10.4230/LIPIcs.ECOOP.2017.14},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.14},
  researchr = {https://researchr.org/publication/HarkesV17},
  cites = {0},
  citedby = {0},
  booktitle = {31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain},
  editor = {Peter Müller},
  volume = {74},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-035-4},
}

@proceedings{oopsla-2016,
  title = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016},
  year = {2016},
  doi = {10.1145/2983990},
  url = {http://doi.acm.org/10.1145/2983990},
  researchr = {https://researchr.org/publication/oopsla-2016},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016},
  conference = {OOPSLA},
  editor = {Eelco Visser and Yannis Smaragdakis},
  publisher = {ACM},
  isbn = {978-1-4503-4444-9},
}

@article{WachsmuthKV14,
  title = {Language Design with the Spoofax Language Workbench},
  author = {Guido Wachsmuth and Gabriël Konat and Eelco Visser},
  year = {2014},
  doi = {10.1109/MS.2014.100},
  url = {http://dx.doi.org/10.1109/MS.2014.100},
  researchr = {https://researchr.org/publication/WachsmuthKV14},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {31},
  number = {5},
  pages = {35-43},
}

@article{RouvoetKV21,
  title = {Intrinsically typed compilation with nameless labels},
  author = {Arjen Rouvoet and Robbert Krebbers and Eelco Visser},
  year = {2021},
  doi = {10.1145/3434303},
  url = {https://doi.org/10.1145/3434303},
  tags = {Intrinsic-Verification},
  researchr = {https://researchr.org/publication/RouvoetKV21},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {5},
  number = {POPL},
  pages = {1-28},
}

@inproceedings{FruminKB18,
  title = {ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency},
  author = {Dan Frumin and Robbert Krebbers and Lars Birkedal},
  year = {2018},
  doi = {10.1145/3209108.3209174},
  url = {http://doi.acm.org/10.1145/3209108.3209174},
  researchr = {https://researchr.org/publication/FruminKB18},
  cites = {0},
  citedby = {0},
  pages = {442-451},
  booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018},
  editor = {Anuj Dawar and Erich Grädel},
  publisher = {ACM},
}

@inproceedings{AmorimV20,
  title = {Multi-purpose Syntax Definition with {SDF3}},
  author = {Luis Eduardo de Souza Amorim and Eelco Visser},
  year = {2020},
  doi = {10.1007/978-3-030-58768-0_1},
  url = {https://doi.org/10.1007/978-3-030-58768-0_1},
  researchr = {https://researchr.org/publication/AmorimV20},
  cites = {0},
  citedby = {0},
  pages = {1-23},
  booktitle = {Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings},
  editor = {Frank S. de Boer and Antonio Cerone},
  volume = {12310},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-58768-0},
}

@inproceedings{FruminGK19,
  title = {Semi-automated Reasoning About Non-determinism in C Expressions},
  author = {Dan Frumin and Léon Gondelman and Robbert Krebbers},
  year = {2019},
  doi = {10.1007/978-3-030-17184-1_3},
  url = {https://doi.org/10.1007/978-3-030-17184-1_3},
  researchr = {https://researchr.org/publication/FruminGK19},
  cites = {0},
  citedby = {0},
  pages = {60-87},
  booktitle = {Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings},
  editor = {Luís Caires},
  volume = {11423},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-17184-1},
}

@article{CockxTW21,
  title = {The taming of the rew: a type theory with computational assumptions},
  author = {Jesper Cockx and Nicolas Tabareau and Théo Winterhalter},
  year = {2021},
  doi = {10.1145/3434341},
  url = {https://doi.org/10.1145/3434341},
  researchr = {https://researchr.org/publication/CockxTW21},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {5},
  number = {POPL},
  pages = {1-29},
}

@inproceedings{BrouwerCZ23,
  title = {Dependently Typed Languages in Statix},
  author = {Jonathan Brouwer and Jesper Cockx and Aron Zwaan},
  year = {2023},
  doi = {10.4230/OASIcs.EVCS.2023.6},
  url = {https://doi.org/10.4230/OASIcs.EVCS.2023.6},
  researchr = {https://researchr.org/publication/BrouwerCZ23},
  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},
}

@inproceedings{ParreauxBG19,
  title = {Towards improved GADT reasoning in Scala},
  author = {Lionel Parreaux and Aleksander Boruch-Gruszecki and Paolo G. Giarrusso},
  year = {2019},
  doi = {10.1145/3337932.3338813},
  url = {https://doi.org/10.1145/3337932.3338813},
  researchr = {https://researchr.org/publication/ParreauxBG19},
  cites = {0},
  citedby = {0},
  pages = {12-16},
  booktitle = {Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019},
  editor = {Jonathan Immanuel Brachthäuser and Sukyoung Ryu and Nathaniel Nystrom},
  publisher = {ACM},
  isbn = {978-1-4503-6824-7},
}

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

@misc{SmitsV20-Artifact,
  title = {Gradually Typing Strategies - Artifact},
  author = {Jeff Smits and Eelco Visser},
  year = {2020},
  month = {September},
  doi = {10.5281/zenodo.4032445},
  url = {https://doi.org/10.5281/zenodo.4032445},
  researchr = {https://researchr.org/publication/SmitsV20-Artifact},
  cites = {0},
  citedby = {0},
  howpublished = {Zenodo},
}

@inproceedings{DenkersBGV21,
  title = {Configuration Space Exploration for Digital Printing Systems},
  author = {Jasper Denkers and Marvin Brunner and Louis van Gool and Eelco Visser},
  year = {2021},
  doi = {10.1007/978-3-030-92124-8_24},
  url = {https://doi.org/10.1007/978-3-030-92124-8_24},
  researchr = {https://researchr.org/publication/DenkersBGV21},
  cites = {0},
  citedby = {0},
  pages = {423-442},
  booktitle = {Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings},
  editor = {Radu Calinescu and Corina S. Pasareanu},
  volume = {13085},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-92124-8},
}

@inproceedings{GroenewegenV08,
  title = {Declarative Access Control for {WebDSL}: Combining Language Integration and Separation of Concerns},
  author = {Danny M.  Groenewegen and Eelco Visser},
  year = {2008},
  doi = {10.1109/ICWE.2008.15},
  url = {http://dx.doi.org/10.1109/ICWE.2008.15},
  tags = {WebDSL, semantics, rule-based, separation of concerns, transformation language,  action semantics, language design, weaving, rules, web applications, DSL, abstraction, access control policies, access control, aspect weaving, design, role-based access control, systematic-approach, transformation, domain-specific language},
  researchr = {https://researchr.org/publication/GroenewegenV08},
  cites = {26},
  citedby = {7},
  pages = {175-188},
  booktitle = {Proceedings of the Eighth International Conference on Web Engineering, ICWE 2008, 14-18 July 2008, Yorktown Heights, New York, USA},
  editor = {Daniel Schwabe and Francisco Curbera and Paul Dantzig},
  publisher = {IEEE},
  isbn = {978-0-7695-3261-5},
}

@inproceedings{VermolenV08,
  title = {Heterogeneous Coupled Evolution of Software Languages},
  author = {Sander Vermolen and Eelco Visser},
  year = {2008},
  doi = {10.1007/978-3-540-87875-9_44},
  url = {http://dx.doi.org/10.1007/978-3-540-87875-9_44},
  tags = {model-to-model transformation, software architecture, coupled, data-flow language, meta-model, XML, evolution, modeling language, heterogeneous, XML Schema, languages, modeling, transformation language, coupled evolution, architecture, language modeling, model, data-flow, software evolution, format evolution, source-to-source, model transformation, database, abstraction, software languages, Meta-Environment, systematic-approach, meta-objects, transformation, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/VermolenV08},
  cites = {0},
  citedby = {3},
  pages = {630-644},
  booktitle = {Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings},
  editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter},
  volume = {5301},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87874-2},
}

@article{KatsKV10,
  title = {Domain-Specific Languages for Composable Editor Plugins},
  author = {Lennart C. L. Kats and Karl Trygve Kalleberg and Eelco Visser},
  year = {2010},
  doi = {10.1016/j.entcs.2010.08.038},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.08.038},
  tags = {C++, domain-specific language},
  researchr = {https://researchr.org/publication/KatsKV10},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {253},
  number = {7},
  pages = {149-163},
}

@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{GroenewegenHKV08-DSM,
  title = {When Frameworks Let You Down. {P}latform-Imposed Constraints on the Design and Evolution of Domain-Specific Languages},
  author = {Danny M.  Groenewegen and Zef  Hemel and Lennart C. L. Kats and Eelco Visser},
  year = {2008},
  month = {October},
  tags = {framework, optimization, WebDSL, application framework, domain analysis, analysis, language design, static analysis, constraints, reuse, software evolution, C++, DSL, abstraction, incremental, design, systematic-approach, domain-specific language},
  researchr = {https://researchr.org/publication/GroenewegenHKV08-DSM},
  cites = {0},
  citedby = {2},
  booktitle = {Proceedings of the 8th OOPSLA Workshop on Domain Specific Modelling (DSM'08)},
  editor = {Jeffrey G. Gray and Jonathan Sprinkle and Juha-Pekka Tolvanen and Matti Rossi},
  address = {Nashville, Tennessee, USA},
}

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

@inproceedings{HarkesCV18,
  title = {Migrating business logic to an incremental computing DSL: a case study},
  author = {Daco Harkes and Elmer van Chastelet and Eelco Visser},
  year = {2018},
  doi = {10.1145/3276604.3276617},
  url = {https://doi.org/10.1145/3276604.3276617},
  researchr = {https://researchr.org/publication/HarkesCV18},
  cites = {0},
  citedby = {0},
  pages = {83-96},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018},
  editor = {David Pearce 0005 and Tanja Mayerhofer and Friedrich Steimann},
  publisher = {ACM},
  isbn = {978-1-4503-6029-6},
}

@inproceedings{BravenboerV08,
  title = {Parse Table Composition},
  author = {Martin  Bravenboer and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-00434-6_6},
  url = {http://dx.doi.org/10.1007/978-3-642-00434-6_6},
  tags = {parsing algorithm, programming languages, deployment, syntax definition, SDF, composition, source-to-source, parse table composition, compiler, programming, language composition, parsing, extensible language, ASF+SDF, open-source, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/BravenboerV08},
  cites = {0},
  citedby = {0},
  pages = {74-94},
  booktitle = {Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers},
  editor = {Dragan Gasevic and Ralf Lämmel and Eric {Van Wyk}},
  volume = {5452},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00433-9},
}

@software{RouvoetAPKV20-artifact,
  title = {Knowing When to Ask: Artifact},
  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.4068065},
  url = {https://doi.org/10.5281/zenodo.4068065},
  researchr = {https://researchr.org/publication/RouvoetAPKV20-artifact},
  cites = {0},
  citedby = {0},
  version = {1.0},
}

@inproceedings{SinkarovsC21,
  title = {Extracting the power of dependent types},
  author = {Artjoms Sinkarovs and Jesper Cockx},
  year = {2021},
  doi = {10.1145/3486609.3487201},
  url = {https://doi.org/10.1145/3486609.3487201},
  researchr = {https://researchr.org/publication/SinkarovsC21},
  cites = {0},
  citedby = {0},
  pages = {83-95},
  booktitle = {GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021},
  editor = {Eli Tilevich and Coen De Roover},
  publisher = {ACM},
  isbn = {978-1-4503-9112-2},
}

@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{BracevacESM16,
  title = {CPL: a core language for cloud computing},
  author = {Oliver Bracevac and Sebastian Erdweg and Guido Salvaneschi and Mira Mezini},
  year = {2016},
  doi = {10.1145/2889443.2889452},
  url = {http://doi.acm.org/10.1145/2889443.2889452},
  researchr = {https://researchr.org/publication/BracevacESM16},
  cites = {0},
  citedby = {0},
  pages = {94-105},
  booktitle = {Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, Málaga, Spain, March 14 - 18, 2016},
  editor = {Lidia Fuentes and Don S. Batory and Krzysztof Czarnecki},
  publisher = {ACM},
  isbn = {978-1-4503-3995-7},
}

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

@inproceedings{KrishnaG0C22,
  title = {Parameterized Verification under Release Acquire is PSPACE-complete},
  author = {Shankara Narayanan Krishna and Adwait Godbole and Roland Meyer 0001 and Soham Chakraborty},
  year = {2022},
  doi = {10.1145/3519270.3538445},
  url = {https://doi.org/10.1145/3519270.3538445},
  researchr = {https://researchr.org/publication/KrishnaG0C22},
  cites = {0},
  citedby = {0},
  pages = {482-492},
  booktitle = {PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022},
  editor = {Alessia Milani and Philipp Woelfel},
  publisher = {ACM},
  isbn = {978-1-4503-9262-4},
}

@article{KeidelPE18,
  title = {Compositional soundness proofs of abstract interpreters},
  author = {Sven Keidel and Casper Bach Poulsen and Sebastian Erdweg},
  year = {2018},
  doi = {10.1145/3236767},
  url = {https://doi.org/10.1145/3236767},
  researchr = {https://researchr.org/publication/KeidelPE18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
}

@inproceedings{GiarrussoRS19,
  title = {Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation},
  author = {Paolo G. Giarrusso and Yann Régis-Gianas and Philipp Schuster},
  year = {2019},
  doi = {10.1007/978-3-030-17184-1_20},
  url = {https://doi.org/10.1007/978-3-030-17184-1_20},
  researchr = {https://researchr.org/publication/GiarrussoRS19},
  cites = {0},
  citedby = {0},
  pages = {553-580},
  booktitle = {Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings},
  editor = {Luís Caires},
  volume = {11423},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-17184-1},
}

@manual{StrategoXTReferenceManual,
  title = {Stratego/XT Reference Manual},
  author = {Martin  Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser},
  year = {2008},
  url = {http://releases.strategoxt.org/strategoxt-manual/strategoxt-manual-0.17pre18721-8c3vml4h/manual/},
  researchr = {https://researchr.org/publication/StrategoXTReferenceManual},
  cites = {0},
  citedby = {0},
}

@inproceedings{ErdwegVMV14,
  title = {Modular specification and dynamic enforcement of syntactic language constraints when generating code},
  author = {Sebastian Erdweg and Vlad A. Vergu and Mira Mezini and Eelco Visser},
  year = {2014},
  doi = {10.1145/2577080.2577089},
  url = {http://doi.acm.org/10.1145/2577080.2577089},
  researchr = {https://researchr.org/publication/ErdwegVMV14},
  cites = {0},
  citedby = {0},
  pages = {241-252},
  booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
  editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-4503-2772-5},
}

@inproceedings{KuciEBBM17,
  title = {A Co-contextual Type Checker for Featherweight Java },
  author = { Edlira Kuci and Sebastian Erdweg and Oliver Bracevac and Andi Bejleri and Mira Mezini},
  year = {2017},
  doi = {10.4230/LIPIcs.ECOOP.2017.18},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.18},
  researchr = {https://researchr.org/publication/KuciEBBM17},
  cites = {0},
  citedby = {0},
  booktitle = {31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain},
  editor = {Peter Müller},
  volume = {74},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-035-4},
}

@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{KonatEV18,
  title = {Scalable incremental building with dynamic task dependencies},
  author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser},
  year = {2018},
  doi = {10.1145/3238147.3238196},
  url = {https://doi.org/10.1145/3238147.3238196},
  researchr = {https://researchr.org/publication/KonatEV18},
  cites = {0},
  citedby = {0},
  pages = {76-86},
  booktitle = {Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering},
  editor = {Marianne Huchard and Christian Kästner and Gordon Fraser},
  publisher = {ACM},
}

@inproceedings{VeenHV18,
  title = {PixieDust: Declarative Incremental User Interface Rendering Through Static Dependency Tracking},
  author = {Nick ten Veen and Daco Harkes and Eelco Visser},
  year = {2018},
  doi = {10.1145/3184558.3185978},
  url = {http://doi.acm.org/10.1145/3184558.3185978},
  researchr = {https://researchr.org/publication/VeenHV18},
  cites = {0},
  citedby = {0},
  pages = {721-729},
  booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018},
  editor = {Pierre-Antoine Champin and Fabien L. Gandon and Mounia Lalmas and Panagiotis G. Ipeirotis},
  publisher = {ACM},
}

@inproceedings{LindemanKV11,
  title = {Declaratively defining domain-specific language debuggers},
  author = {Ricky T. Lindeman and Lennart C. L. Kats and Eelco Visser},
  year = {2011},
  doi = {10.1145/2047862.2047885},
  url = {http://doi.acm.org/10.1145/2047862.2047885},
  researchr = {https://researchr.org/publication/LindemanKV11},
  cites = {0},
  citedby = {0},
  pages = {127-136},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011},
  editor = {Ewen Denney and Ulrik Pagh Schultz},
  publisher = {ACM},
  isbn = {978-1-4503-0689-8},
}

@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{ErdwegSVTBCGH0L15,
  title = {Evaluating and comparing language workbenches: Existing results and benchmarks for the future},
  author = {Sebastian Erdweg and Tijs van der Storm and Markus Völter and Laurence Tratt and Remi Bosman and William R. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabriël Konat and Pedro J. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin van der Vlist and Guido Wachsmuth and Jimi van der Woning},
  year = {2015},
  doi = {10.1016/j.cl.2015.08.007},
  url = {http://dx.doi.org/10.1016/j.cl.2015.08.007},
  researchr = {https://researchr.org/publication/ErdwegSVTBCGH0L15},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {44},
  pages = {24-47},
}

@article{BravenboerKVV08,
  title = {{Stratego/XT 0.17}. {A} language and toolset for program transformation},
  author = {Martin  Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser},
  year = {2008},
  doi = {10.1016/j.scico.2007.11.003},
  url = {http://dx.doi.org/10.1016/j.scico.2007.11.003},
  tags = {control systems, programming languages, object-oriented programming, concrete object syntax, reusable components, rule-based, completeness, meta programming, pattern language, graph transformation, Stratego/XT, transformation language, reuse, graph-rewriting, rules, transformation system, DSL, programming, subject-oriented programming, context-aware, abstraction, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, meta-objects, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerKVV08},
  cites = {0},
  citedby = {7},
  journal = {Science of Computer Programming},
  volume = {72},
  number = {1-2},
  pages = {52-70},
}

@inproceedings{DuranRBBBCEEJK10,
  title = {The Third Rewrite Engines Competition},
  author = {Francisco Durán and Manuel Roldán and Jean-Christophe Bach and Emilie  Balland and Mark G. J. van den Brand and James R.  Cordy and Steven Eker and Luc Engelen and Maartje  de Jonge and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Eelco Visser},
  year = {2010},
  doi = {10.1007/978-3-642-16310-4_16},
  url = {http://dx.doi.org/10.1007/978-3-642-16310-4_16},
  tags = {graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/DuranRBBBCEEJK10},
  cites = {0},
  citedby = {0},
  pages = {243-261},
  booktitle = {Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers},
  editor = {Peter Csaba Ölveczky},
  volume = {6381},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16309-8},
}

@misc{SmitsV18,
  title = {Towards Incremental Compilation for Stratego},
  author = {Jeff Smits and Eelco Visser},
  year = {2018},
  month = {10},
  researchr = {https://researchr.org/publication/SmitsV18},
  cites = {3},
  citedby = {0},
  howpublished = {Poster at SPLASH},
}

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

@article{ErdwegO17,
  title = {A Module-System Discipline for Model-Driven Software Development},
  author = {Sebastian Erdweg and Klaus Ostermann},
  year = {2017},
  doi = {10.22152/programming-journal.org/2017/1/9},
  url = {https://doi.org/10.22152/programming-journal.org/2017/1/9},
  researchr = {https://researchr.org/publication/ErdwegO17},
  cites = {0},
  citedby = {0},
  journal = {Programming Journal},
  volume = {1},
  number = {2},
  pages = {9},
}

@inproceedings{Harkes14,
  title = {Relations: a first class relationship and first class derivations programming language},
  author = {Daco Harkes},
  year = {2014},
  doi = {10.1145/2584469.2584473},
  url = {http://doi.acm.org/10.1145/2584469.2584473},
  researchr = {https://researchr.org/publication/Harkes14},
  cites = {0},
  citedby = {0},
  pages = {9-10},
  booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
  editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-4503-2772-5},
}

@inproceedings{GroenewegenCV20,
  title = {Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming language},
  author = {Danny M.  Groenewegen and Elmer van Chastelet and Eelco Visser},
  year = {2020},
  doi = {10.1145/3397537.3397553},
  url = {https://doi.org/10.1145/3397537.3397553},
  tags = {WebDSL},
  researchr = {https://researchr.org/publication/GroenewegenCV20},
  cites = {0},
  citedby = {0},
  pages = {77-83},
  booktitle = {Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020},
  editor = {Ademar Aguiar and Shigeru Chiba and Elisa Gonzalez Boix},
  publisher = {ACM},
  isbn = {978-1-4503-7507-8},
}

@inproceedings{HuismanBBDGLPV16,
  title = {Software that Meets Its Intent},
  author = {Marieke Huisman and Herbert Bos and Sjaak Brinkkemper and Arie van Deursen and Jan Friso Groote and Patricia Lago and Jaco van de Pol and Eelco Visser},
  year = {2016},
  doi = {10.1007/978-3-319-47169-3_47},
  url = {http://dx.doi.org/10.1007/978-3-319-47169-3_47},
  researchr = {https://researchr.org/publication/HuismanBBDGLPV16},
  cites = {0},
  citedby = {0},
  pages = {609-625},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {9953},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-47168-6},
}

@inproceedings{BinsbergenSM16,
  title = {Tool support for component-based semantics},
  author = {L. Thomas van Binsbergen and Neil Sculthorpe and Peter D. Mosses},
  year = {2016},
  doi = {10.1145/2892664.2893464},
  url = {http://doi.acm.org/10.1145/2892664.2893464},
  researchr = {https://researchr.org/publication/BinsbergenSM16},
  cites = {0},
  citedby = {0},
  pages = {8-11},
  booktitle = {Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016},
  editor = {Lidia Fuentes and Don S. Batory and Krzysztof Czarnecki},
  publisher = {ACM},
  isbn = {978-1-4503-4033-5},
}

@inproceedings{KonatSEV19,
  title = {Precise, Efficient, and Expressive Incremental Build Scripts with {PIE}},
  author = {Gabriël Konat and  Roelof Sol and Sebastian Erdweg and Eelco Visser},
  year = {2019},
  researchr = {https://researchr.org/publication/KonatSEV19},
  cites = {0},
  citedby = {0},
  booktitle = {Second Workshop on Incremental Computing (IC 2019)},
}

@inproceedings{Mosses17,
  title = {Engineering meta-languages for specifying software languages (keynote)},
  author = {Peter D. Mosses},
  year = {2017},
  doi = {10.1145/3136014.3148041},
  url = {http://doi.acm.org/10.1145/3136014.3148041},
  researchr = {https://researchr.org/publication/Mosses17},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  editor = {Benoît Combemale and Marjan Mernik and Bernhard Rumpe},
  publisher = {ACM},
  isbn = {978-1-4503-5525-4},
}

@inproceedings{KrebbersPS16,
  title = {Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq},
  author = {Robbert Krebbers and Louis Parlant and Alexandra Silva},
  year = {2016},
  doi = {10.1007/978-3-319-30734-3_21},
  url = {http://dx.doi.org/10.1007/978-3-319-30734-3_21},
  researchr = {https://researchr.org/publication/KrebbersPS16},
  cites = {0},
  citedby = {0},
  pages = {309-324},
  booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday},
  editor = {Erika Ábrahám and Marcello M. Bonsangue and Einar Broch Johnsen},
  volume = {9660},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-30733-6},
}

@techreport{Visser2010,
  title = {Performing Systematic Literature Reviews with Researchr: Tool Demonstration},
  author = {Eelco Visser},
  year = {2010},
  month = {May},
  url = {http://resolver.tudelft.nl/uuid:22b480a7-d09e-4ae6-abe7-9a5769e03c2b},
  tags = {digital library, literature review, digital libraries, reviewing, Meta-Environment, workflow, systematic-approach, systematic review},
  researchr = {https://researchr.org/publication/Visser2010},
  cites = {11},
  citedby = {0},
  institution = {Software Engineering Research Group, Delft University of Technology},
  number = {TUD-SERG-2010-010},
  address = {Delft, The Netherlands},
}

@inproceedings{KatsVV11,
  title = {Integrated language definition testing: enabling test-driven language development},
  author = {Lennart C. L. Kats and Rob Vermaas and Eelco Visser},
  year = {2011},
  doi = {10.1145/2048066.2048080},
  url = {http://doi.acm.org/10.1145/2048066.2048080},
  researchr = {https://researchr.org/publication/KatsVV11},
  cites = {0},
  citedby = {0},
  pages = {139-154},
  booktitle = {Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  editor = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0940-0},
}

@article{AmorimSV18,
  title = {Towards Zero-Overhead Disambiguation of Deep Priority Conflicts},
  author = {Luis Eduardo de Souza Amorim and Michael J. Steindorfer and Eelco Visser},
  year = {2018},
  doi = {10.22152/programming-journal.org/2018/2/13},
  url = {https://doi.org/10.22152/programming-journal.org/2018/2/13},
  researchr = {https://researchr.org/publication/AmorimSV18},
  cites = {0},
  citedby = {0},
  journal = {Programming Journal},
  volume = {2},
  number = {3},
  pages = {13},
}

@inproceedings{KatsBV08,
  title = {Mixing source and bytecode: a case for compilation by normalization},
  author = {Lennart C. L. Kats and Martin  Bravenboer and Eelco Visser},
  year = {2008},
  doi = {10.1145/1449764.1449772},
  url = {http://doi.acm.org/10.1145/1449764.1449772},
  tags = {compilation by normalization, rule-based, Java, synchronization, translation, meta-model, modeling language, Stratego/XT, language modeling, composition, constraints, source-to-source, C++, Dryad, security, compiler, Meta-Environment, extensible language, systematic-approach, open-source, Stratego, JavaFront, domain-specific language},
  researchr = {https://researchr.org/publication/KatsBV08},
  cites = {44},
  citedby = {3},
  pages = {91-108},
  booktitle = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-215-3},
}

@article{SalvaneschiKSHE19,
  title = {Language-integrated privacy-aware distributed queries},
  author = {Guido Salvaneschi and Mirko Köhler and Daniel Sokolowski and Philipp Haller and Sebastian Erdweg and Mira Mezini},
  year = {2019},
  doi = {10.1145/3360593},
  url = {https://doi.org/10.1145/3360593},
  researchr = {https://researchr.org/publication/SalvaneschiKSHE19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
  number = {OOPSLA},
}

@inproceedings{KeidelPE16,
  title = {The IDE portability problem and its solution in Monto},
  author = {Sven Keidel and Wulf Pfeiffer and Sebastian Erdweg},
  year = {2016},
  url = {http://dl.acm.org/citation.cfm?id=2997368},
  researchr = {https://researchr.org/publication/KeidelPE16},
  cites = {0},
  citedby = {0},
  pages = {152-162},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016},
  editor = {Tijs van der Storm and Emilie Balland and Dániel Varró},
  publisher = {ACM},
  isbn = {978-1-4503-4447-0},
}

@inproceedings{ErdwegKRKOV11-mdsd,
  title = {Library-based model-driven software development with SugarJ},
  author = {Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian Kästner and Klaus Ostermann and Eelco Visser},
  year = {2011},
  doi = {10.1145/2048147.2048156},
  url = {http://doi.acm.org/10.1145/2048147.2048156},
  researchr = {https://researchr.org/publication/ErdwegKRKOV11-mdsd},
  cites = {0},
  citedby = {0},
  pages = {17-18},
  booktitle = {Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  editor = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0942-4},
}

@inproceedings{VollebregtKV12,
  title = {Declarative specification of template-based textual editors},
  author = {Tobi Vollebregt and Lennart C. L. Kats and Eelco Visser},
  year = {2012},
  doi = {10.1145/2427048.2427056},
  url = {http://doi.acm.org/10.1145/2427048.2427056},
  researchr = {https://researchr.org/publication/VollebregtKV12},
  cites = {0},
  citedby = {0},
  pages = {1-7},
  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{HemelKV08,
  title = {Code Generation by Model Transformation},
  author = {Zef  Hemel and Lennart C. L. Kats and Eelco Visser},
  year = {2008},
  doi = {10.1007/978-3-540-69927-9_13},
  url = {http://dx.doi.org/10.1007/978-3-540-69927-9_13},
  tags = {programming languages, model-to-model transformation, object-oriented programming, WebDSL, concrete object syntax, rule-based, transformation engineering, syntax definition, meta programming, data-flow language, pattern language, case study, graph transformation, meta-model, modeling language, modeling, language engineering, transformation language, software language engineering, language modeling, web engineering, data-flow programming, model-driven development, data-flow, source-to-source, graph-rewriting, software engineering, rules, model-driven engineering, C++, programming paradigms, code generation, object-role modeling, aspect oriented programming, model transformation, web applications, DSL, subject-oriented programming, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, open-source, meta-objects, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/HemelKV08},
  cites = {0},
  citedby = {3},
  pages = {183-198},
  booktitle = {Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings},
  editor = {Antonio Vallecillo and Jeffrey G. Gray and Alfonso Pierantonio},
  volume = {5063},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69926-2},
}

@inproceedings{KrebbersTB17,
  title = {Interactive proofs in higher-order concurrent separation logic},
  author = {Robbert Krebbers and Amin Timany and Lars Birkedal},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009855},
  researchr = {https://researchr.org/publication/KrebbersTB17},
  cites = {0},
  citedby = {0},
  pages = {205-217},
  booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
  editor = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}

@inproceedings{KatsVW10,
  title = {Pure and declarative syntax definition: paradise lost and regained},
  author = {Lennart C. L. Kats and Eelco Visser and Guido Wachsmuth},
  year = {2010},
  doi = {10.1145/1869459.1869535},
  url = {http://doi.acm.org/10.1145/1869459.1869535},
  tags = {parsing algorithm, syntax definition, composition, software evolution, C++, compiler, parsing},
  researchr = {https://researchr.org/publication/KatsVW10},
  cites = {0},
  citedby = {1},
  pages = {918-932},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@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{ErdwegKRKOV11-extensibility,
  title = {SugarJ: library-based language extensibility},
  author = {Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian Kästner and Klaus Ostermann and Eelco Visser},
  year = {2011},
  doi = {10.1145/2048147.2048199},
  url = {http://doi.acm.org/10.1145/2048147.2048199},
  tags = {rule-based, C++, extensible language},
  researchr = {https://researchr.org/publication/ErdwegKRKOV11-extensibility},
  cites = {0},
  citedby = {0},
  pages = {187-188},
  booktitle = {Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  publisher = {ACM},
  isbn = {978-1-4503-0942-4},
}

@inproceedings{KatsKV10-SLE,
  title = {Interactive Disambiguation of Meta Programs with Concrete Object Syntax},
  author = {Lennart C. L. Kats and Karl Trygve Kalleberg and Eelco Visser},
  year = {2010},
  doi = {10.1007/978-3-642-19440-5_22},
  url = {http://dx.doi.org/10.1007/978-3-642-19440-5_22},
  tags = {programming languages, object-oriented programming, concrete object syntax, rule-based, meta programming, meta-model, abstract syntax, tagging, disambiguation, model-driven development, source-to-source, C++, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, concrete syntax, open-source, meta-objects, grammar},
  researchr = {https://researchr.org/publication/KatsKV10-SLE},
  cites = {0},
  citedby = {0},
  pages = {327-336},
  booktitle = {Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers},
  editor = {Brian A. Malloy and Steffen Staab and Mark van den Brand},
  volume = {6563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-19439-9},
}

@article{Visser19-PACMPL,
  title = {Editorial Message},
  author = {Eelco Visser},
  year = {2019},
  researchr = {https://researchr.org/publication/Visser19-PACMPL},
  cites = {0},
  citedby = {0},
  journal = {PACMPL},
  volume = {3},
  number = {OOPSLA},
}

@inproceedings{AmorimSEV18,
  title = {Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages},
  author = {Luis Eduardo de Souza Amorim and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser},
  year = {2018},
  doi = {10.1145/3276604.3276607},
  url = {https://doi.org/10.1145/3276604.3276607},
  researchr = {https://researchr.org/publication/AmorimSEV18},
  cites = {0},
  citedby = {0},
  pages = {3-15},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018},
  editor = {David Pearce 0005 and Tanja Mayerhofer and Friedrich Steimann},
  publisher = {ACM},
  isbn = {978-1-4503-6029-6},
}

@article{KonatSEV18,
  title = {{PIE}: A Domain-Specific Language for Interactive Software Development Pipelines},
  author = {Gabriël Konat and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser},
  year = {2018},
  doi = {10.22152/programming-journal.org/2018/2/9},
  url = {https://doi.org/10.22152/programming-journal.org/2018/2/9},
  researchr = {https://researchr.org/publication/KonatSEV18},
  cites = {0},
  citedby = {0},
  journal = {Programming Journal},
  volume = {2},
  number = {3},
  pages = {9},
}

@inproceedings{SzaboEV16,
  title = {IncA: a DSL for the definition of incremental program analyses},
  author = {Tamás Szabó and Sebastian Erdweg and Markus Völter},
  year = {2016},
  doi = {10.1145/2970276.2970298},
  url = {http://doi.acm.org/10.1145/2970276.2970298},
  researchr = {https://researchr.org/publication/SzaboEV16},
  cites = {0},
  citedby = {0},
  pages = {320-331},
  booktitle = {Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering},
  editor = {David Lo and Sven Apel and Sarfraz Khurshid},
  publisher = {ACM},
  isbn = {978-1-4503-3845-5},
}

@article{HarkesV17-ART,
  title = {IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)},
  author = {Daco Harkes and Eelco Visser},
  year = {2017},
  doi = {10.4230/DARTS.3.2.1},
  url = {https://doi.org/10.4230/DARTS.3.2.1},
  researchr = {https://researchr.org/publication/HarkesV17-ART},
  cites = {0},
  citedby = {0},
  journal = {DARTS},
  volume = {3},
  number = {2},
}

@inproceedings{PoulsenMT15,
  title = {Imperative Polymorphism by Store-Based Types as Abstract Interpretations},
  author = {Casper Bach Poulsen and Peter D. Mosses and Paolo Torrini},
  year = {2015},
  doi = {10.1145/2678015.2682545},
  url = {http://doi.acm.org/10.1145/2678015.2682545},
  researchr = {https://researchr.org/publication/PoulsenMT15},
  cites = {0},
  citedby = {0},
  pages = {3-8},
  booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
  editor = {Kenichi Asai and Kostis Sagonas},
  publisher = {ACM},
  isbn = {978-1-4503-3297-2},
}

@article{KallebergV06,
  title = {Combining Aspect-Oriented and Strategic Programming},
  author = {Karl Trygve Kalleberg and Eelco Visser},
  year = {2006},
  doi = {10.1016/j.entcs.2005.06.035},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.06.035},
  tags = {programming languages, object-oriented programming, rule-based, transformation aspects, data-flow language, graph transformation, exceptions, Stratego/XT, transformation language, term rewriting, type system, data-flow programming, data-flow, graph-rewriting, rules, programming paradigms, type checking, strategic programming, debugging, transformation system, Strategic term rewriting, aspect oriented programming, programming, subject-oriented programming, rewriting, feature-oriented programming, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/KallebergV06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {147},
  number = {1},
  pages = {5-30},
}

@inproceedings{AhrensNW22,
  title = {Semantics for two-dimensional type theory},
  author = {Benedikt Ahrens and Paige Randall North and Niels van der Weide},
  year = {2022},
  doi = {10.1145/3531130.3533334},
  url = {https://doi.org/10.1145/3531130.3533334},
  researchr = {https://researchr.org/publication/AhrensNW22},
  cites = {0},
  citedby = {0},
  booktitle = {LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022},
  editor = {Christel Baier and Dana Fisman},
  publisher = {ACM},
  isbn = {978-1-4503-9351-5},
}

@inproceedings{ErdwegKRKOV11gpce,
  title = {Growing a language environment with editor libraries},
  author = {Sebastian Erdweg and Lennart C. L. Kats and Tillmann Rendel and Christian Kästner and Klaus Ostermann and Eelco Visser},
  year = {2011},
  doi = {10.1145/2047862.2047891},
  url = {http://doi.acm.org/10.1145/2047862.2047891},
  researchr = {https://researchr.org/publication/ErdwegKRKOV11gpce},
  cites = {0},
  citedby = {0},
  pages = {167-176},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011},
  editor = {Ewen Denney and Ulrik Pagh Schultz},
  publisher = {ACM},
  isbn = {978-1-4503-0689-8},
}

@techreport{HemelVisser2011A,
  title = {Programming the Mobile Web with {Mobl}},
  author = {Zef  Hemel and Eelco Visser},
  year = {2011},
  month = {January},
  tags = {programming languages, optimization, interaction design, rule-based, meta programming, data-flow language, pattern language, meta-model, modeling language, modeling, web service, language modeling, language design, constraints, data-flow programming, data-flow, mobile code, code generation, web services, web applications, programming, program optimization, Meta-Environment, design, mobile, query language, domain-specific language},
  researchr = {https://researchr.org/publication/HemelVisser2011A},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology},
  number = {TUD-SERG-2011-01},
}

@inproceedings{Krebbers0BJDB17,
  title = {The Essence of Higher-Order Concurrent Separation Logic},
  author = {Robbert Krebbers and Ralf Jung 0002 and Ales Bizjak and Jacques-Henri Jourdan and Derek Dreyer and Lars Birkedal},
  year = {2017},
  doi = {10.1007/978-3-662-54434-1_26},
  url = {http://dx.doi.org/10.1007/978-3-662-54434-1_26},
  researchr = {https://researchr.org/publication/Krebbers0BJDB17},
  cites = {0},
  citedby = {0},
  pages = {696-723},
  booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings},
  editor = {Hongseok Yang},
  volume = {10201},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-662-54434-1},
}

@misc{PelsmaekerV18,
  title = {Toward a Language-Parametric Code Completion Editor Service},
  author = {Daniel A. A. Pelsmaeker and Eelco Visser},
  year = {2018},
  researchr = {https://researchr.org/publication/PelsmaekerV18},
  cites = {0},
  citedby = {0},
  howpublished = {Poster at SPLASH},
}

@misc{KonatAEV16,
  title = {Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language  Workbench},
  author = {Gabriël Konat and Luis Eduardo de Souza Amorim and Sebastian Erdweg and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/KonatAEV16},
  cites = {0},
  citedby = {0},
  howpublished = {Language Workbench Challenge (LWC@SLE)},
}

@inproceedings{GreweEPM18,
  title = {System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers},
  author = {Sylvia Grewe and Sebastian Erdweg and André Pacak and Mira Mezini},
  year = {2018},
  doi = {10.1145/3236950.3236960},
  url = {https://doi.org/10.1145/3236950.3236960},
  researchr = {https://researchr.org/publication/GreweEPM18},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018},
  editor = {David Sabel and Peter Thiemann},
  publisher = {ACM},
}

@misc{HaismaVV17,
  title = {Grace in {Spoofax}: Readable Specification and Implementation in One},
  author = {Michiel Haisma and Vlad Vergu and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/HaismaVV17},
  cites = {0},
  citedby = {0},
  howpublished = {Presented at GRACE 2016},
}

@article{JungKJBBD18,
  title = {Iris from the ground up: A modular foundation for higher-order concurrent separation logic},
  author = {Ralf Jung 0002 and Robbert Krebbers and Jacques-Henri Jourdan and Ales Bizjak and Lars Birkedal and Derek Dreyer},
  year = {2018},
  doi = {10.1017/S0956796818000151},
  url = {https://doi.org/10.1017/S0956796818000151},
  researchr = {https://researchr.org/publication/JungKJBBD18},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {28},
}

@book{DslEngineering2013,
  title = {{DSL} Engineering - Designing, Implementing and Using Domain-Specific Languages},
  author = {Markus Völter and Sebastian Benz and Christian Dietrich and Birgit Engelmann and Mats Helander and Lennart C. L. Kats and Eelco Visser and Guido Wachsmuth},
  year = {2013},
  url = {http://www.dslbook.org},
  researchr = {https://researchr.org/publication/DslEngineering2013},
  cites = {0},
  citedby = {0},
  publisher = {dslbook.org},
  isbn = {978-1-4812-1858-0},
}

@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{KatsV10,
  title = {The {Spoofax} language workbench: rules for declarative specification of languages and {IDEs}},
  author = {Lennart C. L. Kats and Eelco Visser},
  year = {2010},
  doi = {10.1145/1869459.1869497},
  url = {https://doi.org/10.1145/1869459.1869497},
  tags = {programming languages, model-to-model transformation, workbench, semantics, rule-based, Eclipse, meta programming, model editor, graph transformation, meta-model, transformation language, architecture, reuse, model-driven development, graph-rewriting, rules, C++, code completion, code generation, model transformation, programming, language workbench, Spoofax, Meta-Environment, rewriting, parsing, meta-objects, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/KatsV10},
  cites = {0},
  citedby = {2},
  pages = {444-463},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

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

@article{CockxA20,
  title = {Elaborating dependent (co)pattern matching: No pattern left behind},
  author = {Jesper Cockx and Andreas Abel},
  year = {2020},
  doi = {10.1017/S0956796819000182},
  url = {https://doi.org/10.1017/S0956796819000182},
  researchr = {https://researchr.org/publication/CockxA20},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {30},
}

@inproceedings{AmorimSV17,
  title = {Deep priority conflicts in the wild: a pilot study},
  author = {Luis Eduardo de Souza Amorim and Michael J. Steindorfer and Eelco Visser},
  year = {2017},
  doi = {10.1145/3136014.3136020},
  url = {http://doi.acm.org/10.1145/3136014.3136020},
  researchr = {https://researchr.org/publication/AmorimSV17},
  cites = {0},
  citedby = {0},
  pages = {55-66},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  editor = {Benoît Combemale and Marjan Mernik and Bernhard Rumpe},
  publisher = {ACM},
  isbn = {978-1-4503-5525-4},
}

@inproceedings{SzaboKBME18,
  title = {Incremental overload resolution in object-oriented programming languages},
  author = {Tamás Szabó and  Edlira Kuci and Matthijs Bijman and Mira Mezini and Sebastian Erdweg},
  year = {2018},
  doi = {10.1145/3236454.3236485},
  url = {https://doi.org/10.1145/3236454.3236485},
  researchr = {https://researchr.org/publication/SzaboKBME18},
  cites = {0},
  citedby = {0},
  pages = {27-33},
  booktitle = {Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018},
  editor = {Julian Dolby and William G. J. Halfond and Ashish Mishra},
  publisher = {ACM},
  isbn = {978-1-4503-5939-9},
}

@article{KeidelE19,
  title = {Sound and reusable components for abstract interpretation},
  author = {Sven Keidel and Sebastian Erdweg},
  year = {2019},
  doi = {10.1145/3360602},
  url = {https://doi.org/10.1145/3360602},
  researchr = {https://researchr.org/publication/KeidelE19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
  number = {OOPSLA},
}

@inproceedings{BravenboerV07,
  title = {Designing Syntax Embeddings and Assimilations for Language Libraries},
  author = {Martin  Bravenboer and Eelco Visser},
  year = {2007},
  doi = {10.1007/978-3-540-69073-3_5},
  url = {http://dx.doi.org/10.1007/978-3-540-69073-3_5},
  tags = {syntax embedding, syntax definition, assimilation, transformation language, architecture, language design, DSL, language libraries, design, transformation, domain-specific language},
  researchr = {https://researchr.org/publication/BravenboerV07},
  cites = {24},
  citedby = {1},
  pages = {34-46},
  booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers},
  editor = {Holger Giese},
  volume = {5002},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69069-6},
}

@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{HinrichsenBK20,
  title = {Actris: session-type based reasoning in separation logic},
  author = {Jonas Kastberg Hinrichsen and Jesper Bengtson and Robbert Krebbers},
  year = {2020},
  doi = {10.1145/3371074},
  url = {https://doi.org/10.1145/3371074},
  researchr = {https://researchr.org/publication/HinrichsenBK20},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {4},
  number = {POPL},
}

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

@inproceedings{SmitsV20,
  title = {Gradually typing strategies},
  author = {Jeff Smits and Eelco Visser},
  year = {2020},
  doi = {10.1145/3426425.3426928},
  url = {https://doi.org/10.1145/3426425.3426928},
  researchr = {https://researchr.org/publication/SmitsV20},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020},
  editor = {Ralf Lämmel and Laurence Tratt and Juan de Lara},
  publisher = {ACM},
  isbn = {978-1-4503-8176-5},
}

@inproceedings{HarkesV14,
  title = {Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation},
  author = {Daco Harkes and Eelco Visser},
  year = {2014},
  doi = {10.1007/978-3-319-11245-9_14},
  url = {http://dx.doi.org/10.1007/978-3-319-11245-9_14},
  researchr = {https://researchr.org/publication/HarkesV14},
  cites = {0},
  citedby = {0},
  pages = {241-260},
  booktitle = {Software Language Engineering - 7th International Conference, SLE 2014, V\"asteras, Sweden, September 15-16, 2014. Proceedings},
  editor = {Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J.  Vinju},
  volume = {8706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-11244-2},
}

@article{BravenboerDV10,
  title = {Preventing injection attacks with syntax embeddings},
  author = {Martin  Bravenboer and Eelco  Dolstra and Eelco Visser},
  year = {2010},
  doi = {10.1016/j.scico.2009.05.004},
  url = {http://dx.doi.org/10.1016/j.scico.2009.05.004},
  tags = {injection attack},
  researchr = {https://researchr.org/publication/BravenboerDV10},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {75},
  number = {7},
  pages = {473-495},
}

@proceedings{VoelterVisserDimensions2011,
  title = {Dimensions of DSL Design},
  author = {Markus Völter and Eelco Visser},
  year = {2011},
  tags = {semantics, completeness, case study, meta-model, modeling language, separation of concerns, language engineering, software language engineering, language modeling, language design, software engineering, model-driven engineering, DSL, context-aware, abstraction, Meta-Environment, design, coverage, domain-specific language},
  researchr = {https://researchr.org/publication/VoelterVisserDimensions2011},
  cites = {0},
  citedby = {0},
  booktitle = {Dimensions of DSL Design},
}

@article{BracevacASEEM18,
  title = {Versatile event correlation with algebraic effects},
  author = {Oliver Bracevac and  Nada Amin and Guido Salvaneschi and Sebastian Erdweg and Patrick Eugster and Mira Mezini},
  year = {2018},
  doi = {10.1145/3236762},
  url = {https://doi.org/10.1145/3236762},
  researchr = {https://researchr.org/publication/BracevacASEEM18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
}

@inproceedings{HemelV11,
  title = {Declaratively programming the mobile web with {Mobl}},
  author = {Zef  Hemel and Eelco Visser},
  year = {2011},
  doi = {10.1145/2048066.2048121},
  url = {http://doi.acm.org/10.1145/2048066.2048121},
  researchr = {https://researchr.org/publication/HemelV11},
  cites = {0},
  citedby = {0},
  pages = {695-712},
  booktitle = {Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011},
  editor = {Cristina Videira Lopes and Kathleen Fisher},
  publisher = {ACM},
  isbn = {978-1-4503-0940-0},
}

@proceedings{oopsla-2016c,
  title = {Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  year = {2016},
  doi = {10.1145/2984043},
  url = {http://doi.acm.org/10.1145/2984043},
  researchr = {https://researchr.org/publication/oopsla-2016c},
  cites = {0},
  citedby = {0},
  booktitle = {Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  conference = {OOPSLA},
  editor = {Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-4503-4437-1},
}

@inproceedings{CockxME0N22,
  title = {Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs},
  author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
  year = {2022},
  doi = {10.1145/3546189.3549920},
  url = {https://doi.org/10.1145/3546189.3549920},
  researchr = {https://researchr.org/publication/CockxME0N22},
  cites = {0},
  citedby = {0},
  pages = {108-122},
  booktitle = {Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022},
  editor = {Nadia Polikarpova},
  publisher = {ACM},
  isbn = {978-1-4503-9438-3},
}

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

@inproceedings{KeidelE17,
  title = {Toward abstract interpretation of program transformations},
  author = {Sven Keidel and Sebastian Erdweg},
  year = {2017},
  doi = {10.1145/3141517.3141855},
  url = {https://doi.org/10.1145/3141517.3141855},
  researchr = {https://researchr.org/publication/KeidelE17},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
  editor = {Shigeru Chiba and Elisa Gonzalez Boix and Stefan Marr},
  publisher = {ACM},
  isbn = {978-1-4503-5523-0},
}

@inproceedings{VermolenWV11sle,
  title = {Reconstructing Complex Metamodel Evolution},
  author = {Sander Vermolen and Guido Wachsmuth and Eelco Visser},
  year = {2011},
  doi = {10.1007/978-3-642-28830-2_11},
  url = {http://dx.doi.org/10.1007/978-3-642-28830-2_11},
  researchr = {https://researchr.org/publication/VermolenWV11sle},
  cites = {0},
  citedby = {0},
  pages = {201-221},
  booktitle = {Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers},
  editor = {Anthony M. Sloane and Uwe Aßmann},
  volume = {6940},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28829-6},
}

@inproceedings{GroenewegenV09,
  title = {Integration of Data Validation and User Interface Concerns in a DSL for Web Applications},
  author = {Danny M.  Groenewegen and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-12107-4_13},
  url = {http://dx.doi.org/10.1007/978-3-642-12107-4_13},
  tags = {data validation, data-flow, web applications, DSL},
  researchr = {https://researchr.org/publication/GroenewegenV09},
  cites = {0},
  citedby = {0},
  pages = {164-173},
  booktitle = {Software Language Engineering, Second International Conference, SLE 2009},
  editor = {Mark G. J. van den Brand and Dragan Gasevic and Jeffrey G. Gray},
  volume = {5969},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12106-7},
}

@inproceedings{JongeV12,
  title = {Automated evaluation of syntax error recovery},
  author = {Maartje  de Jonge and Eelco Visser},
  year = {2012},
  doi = {10.1145/2351676.2351736},
  url = {http://doi.acm.org/10.1145/2351676.2351736},
  researchr = {https://researchr.org/publication/JongeV12},
  cites = {0},
  citedby = {0},
  pages = {322-325},
  booktitle = {IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012},
  editor = {Michael Goedicke and Tim Menzies and Motoshi Saeki},
  publisher = {ACM},
  isbn = {978-1-4503-1204-2},
}

@article{KrebbersJ0TKTCD18,
  title = {MoSeL: a general, extensible modal framework for interactive proofs in separation logic},
  author = {Robbert Krebbers and Jacques-Henri Jourdan and Ralf Jung 0002 and Joseph Tassarotti and Jan-Oliver Kaiser and Amin Timany and Arthur Charguéraud and Derek Dreyer},
  year = {2018},
  doi = {10.1145/3236772},
  url = {https://doi.org/10.1145/3236772},
  researchr = {https://researchr.org/publication/KrebbersJ0TKTCD18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
}

@article{RestPRVM22,
  title = {Intrinsically-typed definitional interpreters à la carte},
  author = {Cas van der Rest and Casper Bach Poulsen and Arjen Rouvoet and Eelco Visser and Peter D. Mosses},
  year = {2022},
  doi = {10.1145/3563355},
  url = {https://doi.org/10.1145/3563355},
  researchr = {https://researchr.org/publication/RestPRVM22},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {OOPSLA2},
  pages = {1903-1932},
}

@inproceedings{ChasteletVA15,
  title = {Conf.Researchr.Org: towards a domain-specific content management system for managing large conference websites},
  author = {Elmer van Chastelet and Eelco Visser and Craig Anslow},
  year = {2015},
  doi = {10.1145/2814189.2817270},
  url = {http://doi.acm.org/10.1145/2814189.2817270},
  researchr = {https://researchr.org/publication/ChasteletVA15},
  cites = {0},
  citedby = {0},
  pages = {50-51},
  booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity},
  editor = {Jonathan Aldrich and Patrick Eugster},
  publisher = {ACM},
  isbn = {978-1-4503-3722-9},
}

@article{Visser15,
  title = {Understanding software through linguistic abstraction},
  author = {Eelco Visser},
  year = {2015},
  doi = {10.1016/j.scico.2013.12.001},
  url = {http://dx.doi.org/10.1016/j.scico.2013.12.001},
  researchr = {https://researchr.org/publication/Visser15},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {97},
  pages = {11-16},
}

@inproceedings{RestWSSV13,
  title = {Robust Real-Time Synchronization between Textual and Graphical Editors},
  author = {Oskar van Rest and Guido Wachsmuth and Jim R. H. Steel and Jörn Guy Süß and Eelco Visser},
  year = {2013},
  doi = {10.1007/978-3-642-38883-5_11},
  url = {http://dx.doi.org/10.1007/978-3-642-38883-5_11},
  researchr = {https://researchr.org/publication/RestWSSV13},
  cites = {0},
  citedby = {0},
  pages = {92-107},
  booktitle = {Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings},
  editor = {Keith Duddy and Gerti Kappel},
  volume = {7909},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-38882-8},
}

@inproceedings{DeursenVW07,
  title = {Model-driven software evolution: A research agenda},
  author = {Arie  van Deursen and Eelco Visser and Jos Warmer},
  year = {2007},
  researchr = {https://researchr.org/publication/DeursenVW07},
  cites = {0},
  citedby = {0},
  pages = {41-49},
  booktitle = {Proceedings 1st International Workshop on Model-Driven Software Evolution},
}

@inproceedings{PacakE19,
  title = {Generating incremental type services},
  author = {André Pacak and Sebastian Erdweg},
  year = {2019},
  doi = {10.1145/3357766.3359534},
  url = {https://doi.org/10.1145/3357766.3359534},
  researchr = {https://researchr.org/publication/PacakE19},
  cites = {0},
  citedby = {0},
  pages = {197-201},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, Athens, Greece, October 20-22, 2019},
  editor = {Oscar Nierstrasz and Jeff Gray and Bruno C. D. S. Oliveira},
  publisher = {ACM},
  isbn = {978-1-4503-6981-7},
}

@inproceedings{VermolenWV11,
  title = {Generating database migrations for evolving web applications},
  author = {Sander Vermolen and Guido Wachsmuth and Eelco Visser},
  year = {2011},
  doi = {10.1145/2047862.2047876},
  url = {http://doi.acm.org/10.1145/2047862.2047876},
  researchr = {https://researchr.org/publication/VermolenWV11},
  cites = {0},
  citedby = {0},
  pages = {83-92},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011},
  editor = {Ewen Denney and Ulrik Pagh Schultz},
  publisher = {ACM},
  isbn = {978-1-4503-0689-8},
}

@inproceedings{KatsSV09,
  title = {Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming},
  author = {Lennart C. L. Kats and Anthony M. Sloane and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-00722-4_11},
  url = {http://dx.doi.org/10.1007/978-3-642-00722-4_11},
  tags = {programming languages, rule-based, attribute grammars, program analysis, etaps, data-flow language, pattern language, generic programming, Stratego/XT, traversal, analysis, data-flow programming, data-flow, graph-rewriting, rules, C++, strategic programming, programming, rewriting, data-flow analysis, Aster, grammar, Stratego},
  researchr = {https://researchr.org/publication/KatsSV09},
  cites = {36},
  citedby = {1},
  pages = {142-157},
  booktitle = {Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Oege de Moor and Michael I. Schwartzbach},
  volume = {5501},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00721-7},
}

@inproceedings{BravenboerGV06,
  title = {{MetaBorg} in Action: Examples of Domain-Specific Language Embedding and Assimilation Using {Stratego/XT}},
  author = {Martin  Bravenboer and René de Groot and Eelco Visser},
  year = {2006},
  doi = {10.1007/11877028_10},
  url = {http://dx.doi.org/10.1007/11877028_10},
  tags = {generative programming, programming languages, rule-based, transformation engineering, Java, generic programming, assimilation, graph transformation, Stratego/XT, language engineering, domain-specific language embedding, transformation language, composition, MetaBorg, language design, graph-rewriting, transformation system, language embedding, DSL, programming, abstraction, language composition, rewriting, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/BravenboerGV06},
  cites = {0},
  citedby = {3},
  pages = {297-311},
  booktitle = {Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers},
  editor = {Ralf Lämmel and João Saraiva and Joost Visser},
  volume = {4143},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-45778-X},
}

@inproceedings{Harkes18,
  title = {We should stop claiming generality in our domain-specific language papers (extended abstract)},
  author = {Daco Harkes},
  year = {2018},
  doi = {10.1145/3276954.3276967},
  url = {https://doi.org/10.1145/3276954.3276967},
  researchr = {https://researchr.org/publication/Harkes18},
  cites = {0},
  citedby = {0},
  pages = {131-132},
  booktitle = {Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, MA, USA, November 7-8, 2018},
  editor = {Elisa Gonzalez Boix and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {978-1-4503-6031-9},
}

@inproceedings{BravenboerDV07,
  title = {Preventing injection attacks with syntax embeddings},
  author = {Martin  Bravenboer and Eelco  Dolstra and Eelco Visser},
  year = {2007},
  doi = {10.1145/1289971.1289975},
  url = {http://doi.acm.org/10.1145/1289971.1289975},
  tags = {programming languages, syntax embedding, Java, preventing injection attacks, generic programming, injection attack, SDF, XML, embedded software, XML Schema, SQL, security, language embedding, DSL, programming, systematic-approach, ASF+SDF, grammar, query language},
  researchr = {https://researchr.org/publication/BravenboerDV07},
  cites = {0},
  citedby = {4},
  pages = {3-12},
  booktitle = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007},
  editor = {Charles Consel and Julia L. Lawall},
  address = {Salzburg, Austria},
  publisher = {ACM},
  isbn = {978-1-59593-855-8},
}

@article{SloaneKV10,
  title = {A Pure Object-Oriented Embedding of Attribute Grammars},
  author = {Anthony M. Sloane and Lennart C. L. Kats and Eelco Visser},
  year = {2010},
  doi = {10.1016/j.entcs.2010.08.043},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.08.043},
  tags = {attribute grammars, C++, Meta-Environment, meta-objects, grammar},
  researchr = {https://researchr.org/publication/SloaneKV10},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {253},
  number = {7},
  pages = {205-219},
}

@article{EscotC22,
  title = {Practical generic programming over a universe of native datatypes},
  author = {Lucas Escot and Jesper Cockx},
  year = {2022},
  doi = {10.1145/3547644},
  url = {https://doi.org/10.1145/3547644},
  researchr = {https://researchr.org/publication/EscotC22},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {ICFP},
  pages = {625-649},
}

@inproceedings{Zwaan22,
  title = {Specializing Scope Graph Resolution Queries},
  author = {Aron Zwaan},
  year = {2022},
  doi = {10.1145/3567512.3567523},
  url = {https://doi.org/10.1145/3567512.3567523},
  researchr = {https://researchr.org/publication/Zwaan22},
  cites = {0},
  citedby = {0},
  pages = {121-133},
  booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022},
  editor = {Bernd  Fischer and Lola Burgueño and Walter Cazzola},
  publisher = {ACM},
  isbn = {978-1-4503-9919-7},
}