Xref: utzoo sci.logic:890 comp.ai:7239 comp.lang.functional:286
Path: utzoo!attcan!uunet!mcsun!ukc!cam-eng!tw807!img
From: img@eng.cam.ac.uk (Ian Green)
Newsgroups: sci.logic,comp.ai,comp.lang.functional
Subject: Request for references on pattern matching
Message-ID: <IMG.90Jul17112021@tw807.eng.cam.ac.uk>
Date: 17 Jul 90 15:20:21 GMT
Sender: img@eng.cam.ac.uk
Organization: Engineering Department, Cambridge University, England.
Lines: 17

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