Hygienic Macros for ACL2.

Carl Eastlund Matthias Felleisen

Published in: Trends in Functional Programming (2010)

Keyphrases

natural language learning
macro operators
key features
macro actions
data sets
computer vision
evolutionary algorithm