Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)
Jonathan Brouwer, Jesper Cockx, and Aron Zwaan. Dependently Typed Languages in Statix. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 6:1-6:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@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-dev.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} }
Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)
Aron Zwaan and Hendrik van Antwerpen. Scope Graphs: The Story so Far. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 32:1-32:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@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-dev.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} }
Feedback for Dagstuhl Publishing