License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.EVCS.2023.4
URN: urn:nbn:de:0030-drops-177743
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/17774/
Black, Andrew P. ;
Bruce, Kim B. ;
Noble, James
The Importance of Being Eelco
Abstract
Programming language designers and implementers are taught that:
semantics are more worthwhile than syntax, that programs exist to embody proofs, rather than to get work done, and to value Dijkstra more than Van Wijngaarden.
Eelco Visser believed that, while there is value in the items on the left, there is at least as much value in the items on the right. This short paper explores how Eelco Visser embodied these values, and how he encouraged our work on the Grace programming language, supported that work withio Spoofax, and provided a venue for discussion within the WG2.16 Programming Language Design working group.
BibTeX - Entry
@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/opus/volltexte/2023/17774},
URN = {urn:nbn:de:0030-drops-177743},
doi = {10.4230/OASIcs.EVCS.2023.4},
annote = {Keywords: Eelco Visser, Grace, Spoofax, syntax}
}
|
Keywords: |
|
Eelco Visser, Grace, Spoofax, syntax |
|
Collection: |
|
Eelco Visser Commemorative Symposium (EVCS 2023) |
|
Issue Date: |
|
2023 |
|
Date of publication: |
|
21.03.2023 |
