Compilation of non-linear, second order patterns on S-expressions (1990)

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