Carl Eastlund, Matthias Felleisen. Hygienic Macros for ACL2. In Rex L. Page, Zoltán Horváth, Viktória Zsók, editors, Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers. Volume 6546 of Lecture Notes in Computer Science, pages 84-101, Springer, 2010. [doi]
Abstract is missing.