First-Class Macros have Types.

Alan Bawden First-Class Macros have Types. 133-141 2000 POPL http://doi.acm.org/10.1145/325694.325710 db/conf/popl/popl2000.html#Bawden00