Partial Evaluation of Metaprograms in a "Multiple Worlds (1988)

by G Levi, G Sardu
Venue:Logic Language, New Generation Computing