@inproceedings{fd2ee50760a24f4983500f644265c53b,
title = "Renamingless Capture-Avoiding Substitution for Definitional Interpreters",
abstract = "Substitution is a common and popular approach to implementing name binding in definitional interpreters. A common pitfall of implementing substitution functions is variable capture. The traditional approach to avoiding variable capture is to rename variables. However, traditional renaming makes for an inefficient interpretation strategy. Furthermore, for applications where partially-interpreted terms are user facing it can be confusing if names in uninterpreted parts of the program have been changed. In this paper we explore two techniques for implementing capture avoiding substitution in definitional interpreters to avoid renaming.",
keywords = "Capture-avoiding substitution, definitional interpreter, lambda calculus",
author = "Poulsen, {Casper Bach}",
year = "2023",
doi = "10.4230/OASIcs.EVCS.2023.2",
language = "English",
series = "OpenAccess Series in Informatics",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Ralf Lammel and Mosses, {Peter D.} and Friedrich Steimann",
booktitle = "Eelco Visser Commemorative Symposium, EVCS 2023",
address = "Germany",
note = "2023 Eelco Visser Commemorative Symposium, EVCS 2023 ; Conference date: 05-04-2023 Through 05-04-2023",
}