120 citations · 269 across the 10 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2005
Tradeoffs in Metaprogramming
Todd L. Veldhuizen
The design of metaprogramming languages requires appreciation of the tradeoffs that exist between important language characteristics such as safety properties, expressive power, an…
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★ 59 cited
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…