Macro-by-Example: Deriving Syntactic Transformations from their Specifications.

Eugene E. Kohlbecker, Mitchell Wand

Browse the full POPL paper archive.