Composable and hygienic typed syntax macros.

Cyrus Omar Chenglong Wang Jonathan Aldrich

Published in: SAC (2015)

Keyphrases

higher order
key features
databases
high level
natural language
macro operators
lambda calculus
data mining
predicate calculus
real world
pairwise
relational databases
dynamic programming
programming language
heuristic search
precisely defined