Meta-programming with names and necessity (2002)

by Aleksandar Nanevski
Venue:International Conference on Functional Programming (ICFP