A Theory of Typed Hygenic Macros (and kudos!)

[Jim White]

Hi Per and Kawafolk!

I haven't read this, but thought it might be of some interest and 
perhaps relevance:

A Theory of Typed Hygienic Macros
http://calculist.blogspot.com/2010/05/theory-of-typed-hygienic-macros.html

It's also mentioned on LtU, including a link to a journal article.

http://lambda-the-ultimate.org/node/3986

And kudos is surely in order for Kawa being used in the implementation 
of the Android App Inventor!

Jim