Inversion and metacomputation (1991)

by A Romanenko
Venue:In Partial Evaluation and Semantics-Based Program Manipulation