Language embeddings that preserve staging and safety

Todd L. Veldhuizen

We study embeddings of programming languages into one another that preserve what reductions take place at compile-time, i.e., staging. A certain condition -- what we call a `Turing…