Directly reflective meta-programming (2010)

by A Stump
Venue:Higher-Order and Symbolic Computation