Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)
Casper Bach Poulsen. Renamingless Capture-Avoiding Substitution for Definitional Interpreters. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 2:1-2:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{bachpoulsen:OASIcs.EVCS.2023.2, author = {Bach Poulsen, Casper}, title = {{Renamingless Capture-Avoiding Substitution for Definitional Interpreters}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {2:1--2:10}, 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.2}, URN = {urn:nbn:de:0030-drops-177728}, doi = {10.4230/OASIcs.EVCS.2023.2}, annote = {Keywords: Capture-avoiding substitution, lambda calculus, definitional interpreter} }
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} }
Published in: LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Casper Bach Poulsen, Pierre Néron, Andrew Tolmach, and Eelco Visser. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 56, pp. 20:1-20:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{bachpoulsen_et_al:LIPIcs.ECOOP.2016.20, author = {Bach Poulsen, Casper and N\'{e}ron, Pierre and Tolmach, Andrew and Visser, Eelco}, title = {{Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics}}, booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)}, pages = {20:1--20:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-014-9}, ISSN = {1868-8969}, year = {2016}, volume = {56}, editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.20}, URN = {urn:nbn:de:0030-drops-61140}, doi = {10.4230/LIPIcs.ECOOP.2016.20}, annote = {Keywords: Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics} }
Published in: DARTS, Volume 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Casper Bach Poulsen, Pierre Néron, Andrew Tolmach, and Eelco Visser. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). In Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 10:1-10:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{bachpoulsen_et_al:DARTS.2.1.10, author = {Bach Poulsen, Casper and Néron, Pierre and Tolmach, Andrew and Visser, Eelco}, title = {{Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)}}, pages = {10:1--10:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2016}, volume = {2}, number = {1}, editor = {Bach Poulsen, Casper and Néron, Pierre and Tolmach, Andrew and Visser, Eelco}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.2.1.10}, URN = {urn:nbn:de:0030-drops-61314}, doi = {10.4230/DARTS.2.1.10}, annote = {Keywords: Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics} }
Feedback for Dagstuhl Publishing