Compilation of Non-Linear, Second Order Patterns on S-Expressions (1990)

by C Queinnec
Venue:In 2nd Int. Symp. on Programming Language Implementation and Logic Programming, LNCS 456