Tunes core existed in 1991
Thu, 26 Aug 1999 13:51:24 +0000
>Now doing on http://fermivista.math.jussieu.fr a research
>with "+reflect* +tower +interpreter" I found 21 documents speaking
>of that kind of stuff. Like Refci language.
>I guess Fare was already aware of these, but they need to make their
>place on the links of our Reflection page.
Another good language for reflection is maude, but I've heard no-one
discussing it, either for or against (any comments Fare?).
You can find it, along with tutorials and reflection papers at:
I've also done a summary at:
(just click on maude)