Metacomputation: Metasystem transitions plus supercompilation (1996)

by V F Turchin
Venue:Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, LNCS 1110