Renamingless Capture-Avoiding Substitution for Definitional Interpreters.

Casper Bach Poulsen
Published in: Eelco Visser Commemorative Symposium (2023)