Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic

Martin Lester

Recent work on combinatory logic demonstrates a compositional translation from lambda calculus that gives meaning to open terms. As the meaning of open terms is a key difficulty in…