A Formalization of Metaprogramming for real.

Giorgio Levi, Davide Ramundo

Browse the full ICLP paper archive.