Tree pattern matching for ML. unpublished paper (1985)

by M Baudinet, D MacQueen
Venue:CDG + ] Hubert Common, Max Dauchet, Remy Gilleron, Florent Jacquemard, Denis Lugiez, Sophie