Directly reflective meta-programming (2008)

by Aaron Stump
Venue:Journal of Higher Order and Symbolic Computation