@Proceedings{lammel_et_al:OASIcs.EVCS.2023, title = {{OASIcs, Volume 109, EVCS 2023, Complete Volume}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {1--340}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023}, URN = {urn:nbn:de:0030-drops-177693}, doi = {10.4230/OASIcs.EVCS.2023}, annote = {Keywords: OASIcs, Volume 109, EVCS 2023, Complete Volume} } @InProceedings{lammel_et_al:OASIcs.EVCS.2023.0, author = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {0:i--0:xviii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.0}, URN = {urn:nbn:de:0030-drops-177706}, doi = {10.4230/OASIcs.EVCS.2023.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{vandeursen:OASIcs.EVCS.2023.1, author = {van Deursen, Arie}, title = {{Getting Things Done: The Eelco Way}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {1:1--1:4}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.1}, URN = {urn:nbn:de:0030-drops-177710}, doi = {10.4230/OASIcs.EVCS.2023.1}, annote = {Keywords: Leadership} } @InProceedings{bachpoulsen:OASIcs.EVCS.2023.2, author = {Bach Poulsen, Casper}, title = {{Renamingless Capture-Avoiding Substitution for Definitional Interpreters}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {2:1--2:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.2}, URN = {urn:nbn:de:0030-drops-177728}, doi = {10.4230/OASIcs.EVCS.2023.2}, annote = {Keywords: Capture-avoiding substitution, lambda calculus, definitional interpreter} } @InProceedings{ballantyne_et_al:OASIcs.EVCS.2023.3, author = {Ballantyne, Michael and Felleisen, Matthias}, title = {{Injecting Language Workbench Technology into Mainstream Languages}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {3:1--3:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.3}, URN = {urn:nbn:de:0030-drops-177737}, doi = {10.4230/OASIcs.EVCS.2023.3}, annote = {Keywords: Language workbenches, macro systems, language adoption} } @InProceedings{black_et_al:OASIcs.EVCS.2023.4, author = {Black, Andrew P. and Bruce, Kim B. and Noble, James}, title = {{The Importance of Being Eelco}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {4:1--4:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.4}, URN = {urn:nbn:de:0030-drops-177743}, doi = {10.4230/OASIcs.EVCS.2023.4}, annote = {Keywords: Eelco Visser, Grace, Spoofax, syntax} } @InProceedings{boukham_et_al:OASIcs.EVCS.2023.5, author = {Boukham, Houda and Wachsmuth, Guido and Hartman, Toine and Boucherit, Hamza and van Rest, Oskar and Chafi, Hassan and Hong, Sungpack and Dwars, Martijn and Delamare, Arnaud and Chiadmi, Dalila}, title = {{Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {5:1--5:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.5}, URN = {urn:nbn:de:0030-drops-177756}, doi = {10.4230/OASIcs.EVCS.2023.5}, annote = {Keywords: language workbench, domain-specific language} } @InProceedings{brouwer_et_al:OASIcs.EVCS.2023.6, author = {Brouwer, Jonathan and Cockx, Jesper and Zwaan, Aron}, title = {{Dependently Typed Languages in Statix}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {6:1--6:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.6}, URN = {urn:nbn:de:0030-drops-177769}, doi = {10.4230/OASIcs.EVCS.2023.6}, annote = {Keywords: Spoofax, Statix, Dependent Types, Scope Graphs, Calculus of Constructions} } @InProceedings{carette_et_al:OASIcs.EVCS.2023.7, author = {Carette, Jacques and Smith, Spencer W. and Balaci, Jason}, title = {{Generating Software for Well-Understood Domains}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {7:1--7:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.7}, URN = {urn:nbn:de:0030-drops-177776}, doi = {10.4230/OASIcs.EVCS.2023.7}, annote = {Keywords: code generation, document generation, knowledge capture, software engineering} } @InProceedings{creager_et_al:OASIcs.EVCS.2023.8, author = {Creager, Douglas A. and van Antwerpen, Hendrik}, title = {{Stack Graphs: Name Resolution at Scale}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {8:1--8:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.8}, URN = {urn:nbn:de:0030-drops-177789}, doi = {10.4230/OASIcs.EVCS.2023.8}, annote = {Keywords: Scope graphs, name binding, code navigation} } @InProceedings{demuijnckhughes_et_al:OASIcs.EVCS.2023.9, author = {de Muijnck-Hughes, Jan and Allais, Guillaume and Brady, Edwin}, title = {{Type Theory as a Language Workbench}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {9:1--9:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.9}, URN = {urn:nbn:de:0030-drops-177797}, doi = {10.4230/OASIcs.EVCS.2023.9}, annote = {Keywords: dependent types, language workbenches, idris2, dsl, edsl, intrinsically scoped, well typed, co-De Bruijn} } @InProceedings{erdweg:OASIcs.EVCS.2023.10, author = {Erdweg, Sebastian}, title = {{On Solving Solved Problems}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {10:1--10:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.10}, URN = {urn:nbn:de:0030-drops-177800}, doi = {10.4230/OASIcs.EVCS.2023.10}, annote = {Keywords: Research Methodology, Parsing, Type Checking} } @InProceedings{greenberg:OASIcs.EVCS.2023.11, author = {Greenberg, Michael}, title = {{Reasoning About Paths in the Interface Graph}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {11:1--11:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.11}, URN = {urn:nbn:de:0030-drops-177812}, doi = {10.4230/OASIcs.EVCS.2023.11}, annote = {Keywords: interfaces, components, lambda calculus, dynamic analysis} } @InProceedings{groenewegen_et_al:OASIcs.EVCS.2023.12, author = {Groenewegen, Danny M. and van Chastelet, Elmer and de Krieger, Max M. and Pelsmaeker, Daniel A. A. and Anslow, Craig}, title = {{Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {12:1--12:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.12}, URN = {urn:nbn:de:0030-drops-177823}, doi = {10.4230/OASIcs.EVCS.2023.12}, annote = {Keywords: Conf Researchr, conferences, WebDSL, Eelco Visser} } @InProceedings{groenewegen_et_al:OASIcs.EVCS.2023.13, author = {Groenewegen, Danny M. and van Chastelet, Elmer and de Krieger, Max M. and Pelsmaeker, Daniel A. A.}, title = {{Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {13:1--13:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.13}, URN = {urn:nbn:de:0030-drops-177838}, doi = {10.4230/OASIcs.EVCS.2023.13}, annote = {Keywords: WebDSL, WebLab, Spoofax, Eelco Visser, education} } @InProceedings{kalleberg:OASIcs.EVCS.2023.14, author = {Kalleberg, Karl Trygve}, title = {{Reflections on the Birth of Spoofax}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {14:1--14:4}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.14}, URN = {urn:nbn:de:0030-drops-177842}, doi = {10.4230/OASIcs.EVCS.2023.14}, annote = {Keywords: Spoofax, Language Workbench, Program Transformation} } @InProceedings{klint:OASIcs.EVCS.2023.15, author = {Klint, Paul}, title = {{Eelco Visser as a Typographic Designer}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {15:1--15:5}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.15}, URN = {urn:nbn:de:0030-drops-177854}, doi = {10.4230/OASIcs.EVCS.2023.15}, annote = {Keywords: Typesetting formal specifications, Typographic design, personal recollection} } @InProceedings{koppel:OASIcs.EVCS.2023.16, author = {Koppel, James}, title = {{Typed Multi-Language Strategy Combinators}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {16:1--16:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.16}, URN = {urn:nbn:de:0030-drops-177865}, doi = {10.4230/OASIcs.EVCS.2023.16}, annote = {Keywords: program transformation, strategic programming} } @InProceedings{lammel:OASIcs.EVCS.2023.17, author = {L\"{a}mmel, Ralf}, title = {{Eelco Visser - An Exceptional SLE Researcher}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {17:1--17:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.17}, URN = {urn:nbn:de:0030-drops-177871}, doi = {10.4230/OASIcs.EVCS.2023.17}, annote = {Keywords: Eelco Visser, SLE, SLE conference, Software Language Engineering, SLEBoK} } @InProceedings{lawall:OASIcs.EVCS.2023.18, author = {Lawall, Julia}, title = {{On the Origins of Coccinelle}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {18:1--18:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.18}, URN = {urn:nbn:de:0030-drops-177884}, doi = {10.4230/OASIcs.EVCS.2023.18}, annote = {Keywords: Linux kernel, Coccinelle, Stratego/XT, program transformation} } @InProceedings{lengauer_et_al:OASIcs.EVCS.2023.19, author = {Lengauer, Christian and Carette, Jacques}, title = {{Eelco Visser as a Founding Member of the IFIP WG 2.11}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {19:1--19:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.19}, URN = {urn:nbn:de:0030-drops-177891}, doi = {10.4230/OASIcs.EVCS.2023.19}, annote = {Keywords: IFIP WG 2.11} } @InProceedings{lepper_et_al:OASIcs.EVCS.2023.20, author = {Lepper, Markus and Tranc\'{o}n y Widemann, Baltasar}, title = {{Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {20:1--20:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.20}, URN = {urn:nbn:de:0030-drops-177906}, doi = {10.4230/OASIcs.EVCS.2023.20}, annote = {Keywords: Visitor Pattern, Generative Programming, Control Flow Analysis, Reflection, Runtime Code Generation} } @InProceedings{mosses:OASIcs.EVCS.2023.21, author = {Mosses, Peter D.}, title = {{Using Spoofax to Support Online Code Navigation}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {21:1--21:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.21}, URN = {urn:nbn:de:0030-drops-177916}, doi = {10.4230/OASIcs.EVCS.2023.21}, annote = {Keywords: Spoofax language workbench, name resolution, precise code navigation} } @InProceedings{reinders:OASIcs.EVCS.2023.22, author = {Reinders, Jaro S.}, title = {{Towards Modular Compilation Using Higher-Order Effects}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {22:1--22:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.22}, URN = {urn:nbn:de:0030-drops-177926}, doi = {10.4230/OASIcs.EVCS.2023.22}, annote = {Keywords: algebraic effects and handlers, higher-order effects, monadic semantics, modularity, compilation, nanopass} } @InProceedings{scott_et_al:OASIcs.EVCS.2023.23, author = {Scott, Elizabeth and Johnstone, Adrian}, title = {{Analysing the SML97 Definition: Lexicalisation}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {23:1--23:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.23}, URN = {urn:nbn:de:0030-drops-177936}, doi = {10.4230/OASIcs.EVCS.2023.23}, annote = {Keywords: SML, language specification, lexicalisation, parsing, ambiguity} } @InProceedings{steimann:OASIcs.EVCS.2023.24, author = {Steimann, Friedrich}, title = {{A Simply Numbered Lambda Calculus}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {24:1--24:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.24}, URN = {urn:nbn:de:0030-drops-177948}, doi = {10.4230/OASIcs.EVCS.2023.24}, annote = {Keywords: multiplicities, strings, lambda calculus, relational programming} } @InProceedings{stokke_et_al:OASIcs.EVCS.2023.25, author = {Stokke, Knut Anders and Barash, Mikhail and J\"{a}rvi, Jaakko}, title = {{The Ultimate GUI Framework: Are We There Yet?}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {25:1--25:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.25}, URN = {urn:nbn:de:0030-drops-177956}, doi = {10.4230/OASIcs.EVCS.2023.25}, annote = {Keywords: Web frameworks, GUI specification, WebDSL, HotDrink, WarmDrink} } @InProceedings{thompson_et_al:OASIcs.EVCS.2023.26, author = {Thompson, Simon and Horp\'{a}csi, D\'{a}niel}, title = {{Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {26:1--26:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.26}, URN = {urn:nbn:de:0030-drops-177961}, doi = {10.4230/OASIcs.EVCS.2023.26}, annote = {Keywords: refactoring, generic, language independent, rewriting, substitution, API upgrade} } @InProceedings{tolmach:OASIcs.EVCS.2023.27, author = {Tolmach, Andrew}, title = {{Eelco Visser: The Oregon Connection}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {27:1--27:6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.27}, URN = {urn:nbn:de:0030-drops-177971}, doi = {10.4230/OASIcs.EVCS.2023.27}, annote = {Keywords: Eelco Visser, Stratego, scope graphs} } @InProceedings{vanderstorm:OASIcs.EVCS.2023.28, author = {van der Storm, Tijs}, title = {{Eelco Visser and IFIP WG 2.16}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {28:1--28:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.28}, URN = {urn:nbn:de:0030-drops-177986}, doi = {10.4230/OASIcs.EVCS.2023.28}, annote = {Keywords: Eelco Visser, Language design, IFIP, working group} } @InProceedings{vanderstorm:OASIcs.EVCS.2023.29, author = {van der Storm, Tijs}, title = {{Semantics Engineering with Concrete Syntax}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {29:1--29:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.29}, URN = {urn:nbn:de:0030-drops-177991}, doi = {10.4230/OASIcs.EVCS.2023.29}, annote = {Keywords: Semantics engineering, syntax, parsing, reduction semantics} } @InProceedings{vanwyk:OASIcs.EVCS.2023.30, author = {Van Wyk, Eric}, title = {{Context in Parsing: Techniques and Applications}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {30:1--30:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.30}, URN = {urn:nbn:de:0030-drops-178001}, doi = {10.4230/OASIcs.EVCS.2023.30}, annote = {Keywords: Parsing, Generalized LR Parsing, Context-aware Scanning} } @InProceedings{vinju:OASIcs.EVCS.2023.31, author = {Vinju, Jurgen J.}, title = {{Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {31:1--31:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.31}, URN = {urn:nbn:de:0030-drops-178018}, doi = {10.4230/OASIcs.EVCS.2023.31}, annote = {Keywords: parser generation, context-free grammars, GLR, GLL, algorithms, disambiguation} } @InProceedings{zwaan_et_al:OASIcs.EVCS.2023.32, author = {Zwaan, Aron and van Antwerpen, Hendrik}, title = {{Scope Graphs: The Story so Far}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {32:1--32:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.32}, URN = {urn:nbn:de:0030-drops-178020}, doi = {10.4230/OASIcs.EVCS.2023.32}, annote = {Keywords: scope graph, name binding, reference resolution, type system, static semantics} }