A mathematical foundation of reflexion?

zccap74 zccap74@ucl.ac.uk
Fri, 7 Jan 2000 14:58:01 +0000 (GMT)


It seems as though this technique has been implemented (if only partially) in
the OBJ language (ie. also in maude, and cafeOBJ):
 http://www-cse.ucsd.edu/groups/tatami/handdemos/doc/coind.htm

Alexis Read