Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Thu, 19 Nov 1992 14:25:16 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA00733; Thu, 19 Nov 92 05:54:46 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from crl.dec.com by ted.cs.uidaho.edu (16.6/1.34) id AA00728; Thu, 19 Nov 92 05:54:35 -0800 Received: by crl.dec.com; id AA06612; Thu, 19 Nov 92 08:53:53 -0500 Received: by easynet.crl.dec.com; id AA16910; Thu, 19 Nov 92 08:53:52 -0500 Message-Id: <9211191353.AA16910@easynet.crl.dec.com> Received: from ricks.enet; by crl.enet; Thu, 19 Nov 92 08:53:52 EST Date: Thu, 19 Nov 92 08:53:52 EST From: "Tim Leonard, DTN 225-5809, HLO2-3/C11 19-Nov-1992 0851" To: info-hol@edu.uidaho.cs.ted Apparently-To: info-hol@ted.cs.uidaho.edu Subject: reflection If you mean what I think you mean by "reflection," see Konrad Slind's paper in the proceedings of this year's HOL conference. The paper is titled: "Adding new rules to an LCF-style implementation." Perhaps Konrad could provide you with pointers to other people who are doing related work. Tim