A unifying approach to goal-directed evaluation. New Generation Computing, 20(1), 2001. To appear. A preliminary version is available (1992)

by Olivier Danvy, Bernd Grobauer, Morten Rhiger
Venue:in the proceedings of SAIG 2001. 41 Olivier Danvy and Julia