Jonathan Brouwer, Jesper Cockx, Aron Zwaan. Dependently Typed Languages in Statix. In Ralf Lämmel, Peter D. Mosses, Friedrich Steimann, editors, Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands. Volume 109 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{BrouwerCZ23,
title = {Dependently Typed Languages in Statix},
author = {Jonathan Brouwer and Jesper Cockx and Aron Zwaan},
year = {2023},
doi = {10.4230/OASIcs.EVCS.2023.6},
url = {https://doi.org/10.4230/OASIcs.EVCS.2023.6},
researchr = {https://researchr.org/publication/BrouwerCZ23},
cites = {0},
citedby = {0},
booktitle = {Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands},
editor = {Ralf Lämmel and Peter D. Mosses and Friedrich Steimann},
volume = {109},
series = {OASIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-267-9},
}