Interpreter Generation Using Tree Pattern Matching.

Christoph M. Hoffmann, Michael J. O'Donnell

Browse the full POPL paper archive.