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