Semantics-Directed Compilation of Non-Linear Patterns (1990)

by Olivier Danvy
Venue:Information Processing Letters