An improvement to bottom-up tree pattern matching (1987)

by D R Chase
Venue:In: POPL