publications: - title: "Incremental type-checking for free: using scope graphs to derive incremental type-checkers" author: - name: "Aron Zwaan" link: "https://aronzwaan.github.io" - name: "Hendrik van Antwerpen" link: "https://nl.linkedin.com/in/hendrikvanantwerpen" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2022" doi: "https://doi.org/10.1145/3563303" links: doi: "https://doi.org/10.1145/3563303" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/ZwaanAV22" 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" kind: "article" key: "ZwaanAV22" - title: "Scope Graphs: The Story so Far" author: - name: "Aron Zwaan" link: "https://aronzwaan.github.io" - name: "Hendrik van Antwerpen" link: "https://nl.linkedin.com/in/hendrikvanantwerpen" year: "2023" doi: "https://doi.org/10.4230/OASIcs.EVCS.2023.32" links: doi: "https://doi.org/10.4230/OASIcs.EVCS.2023.32" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/ZwaanA23" researchr: "https://researchr.org/publication/ZwaanA23" cites: 0 citedby: 0 booktitle: "Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands" editor: - name: "Ralf Lämmel" link: "https://researchr.org/alias/ralf-l%C3%A4mmel" - name: "Peter D. Mosses" link: "https://researchr.org/alias/peter-d.-mosses" - name: "Friedrich Steimann" link: "https://researchr.org/alias/friedrich-steimann" volume: "109" series: "OASIcs" publisher: "Schloss Dagstuhl - Leibniz-Zentrum für Informatik" isbn: "978-3-95977-267-9" kind: "inproceedings" key: "ZwaanA23" - title: "Dependently Typed Languages in Statix" author: - name: "Jonathan Brouwer" link: "https://researchr.org/alias/jonathan-brouwer" - name: "Jesper Cockx" link: "https://jesper.sikanda.be" - name: "Aron Zwaan" link: "https://aronzwaan.github.io" year: "2023" doi: "https://doi.org/10.4230/OASIcs.EVCS.2023.6" links: doi: "https://doi.org/10.4230/OASIcs.EVCS.2023.6" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/BrouwerCZ23" researchr: "https://researchr.org/publication/BrouwerCZ23" cites: 0 citedby: 0 booktitle: "Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands" editor: - name: "Ralf Lämmel" link: "https://researchr.org/alias/ralf-l%C3%A4mmel" - name: "Peter D. Mosses" link: "https://researchr.org/alias/peter-d.-mosses" - name: "Friedrich Steimann" link: "https://researchr.org/alias/friedrich-steimann" volume: "109" series: "OASIcs" publisher: "Schloss Dagstuhl - Leibniz-Zentrum für Informatik" isbn: "978-3-95977-267-9" kind: "inproceedings" key: "BrouwerCZ23" - title: "Specializing Scope Graph Resolution Queries" author: - name: "Aron Zwaan" link: "https://aronzwaan.github.io" year: "2022" doi: "https://doi.org/10.1145/3567512.3567523" links: doi: "https://doi.org/10.1145/3567512.3567523" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/Zwaan22" 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: - name: "Bernd Fischer" link: "http://www.ecs.soton.ac.uk/people/bf" - name: "Lola Burgueño" link: "https://researchr.org/alias/lola-burgue%C3%B1o" - name: "Walter Cazzola" link: "https://researchr.org/alias/walter-cazzola" publisher: "ACM" isbn: "978-1-4503-9919-7" kind: "inproceedings" key: "Zwaan22"