Dear Will:

When I go to the ACM Digital Library http://www.acm.org/dl/
and search for papers related to:

Efficient implementation of adaptive software;
Jens Palsberg , Cun Xiao , and Karl
Lieberherr ; ACM Trans. Program. Lang.
Syst. 17, 2 (Mar. 1995), Pages 264 - 292 
[ Find Related Articles ] 

it gives me your paper:

Macros that work;
William Clinger ; Principles of
programming languages , 1991, Page 155 

Is there a connection which we should explore further?
May I get a copy of your paper?

-- Karl