@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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing