img@eng.cam.ac.uk (Ian Green) (07/17/90)
Hi. I'm looking for some references on pattern-matching. I'd like to build a second-order matching function for program transformation. Work that I have seen that is relevant was done back in the mid-70's [*] and I'm looking for something a bit more recent. I'll summarise. [*] Gerard Huet and Berhard Lang, `Proving and applying program transformations expressed with second-order patterns.' Acta Informatica, 11, 31--55. Cheers, Ian Green AI Group Department of Engineering img@eng.cam.ac.uk University of Cambridge [+44] 223 33-2639 Cambridge CB2 1PZ, England