Renamingless Capture-Avoiding Substitution for Definitional Interpreters

Casper Bach Poulsen. Renamingless Capture-Avoiding Substitution for Definitional Interpreters. 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]

Authors

Casper Bach Poulsen

This author has not been identified. It may be one of the following persons: Look up 'Casper Bach Poulsen' in Google