10 citations · 10 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2005
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…
cs.PL1998
C++ Templates as Partial Evaluation
Todd L. Veldhuizen
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming, but unintentionally provided the ability…