10 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
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…