A partial evaluator, and its use as a programming tool (1976)

by L Beckman, A Haraldson, O Oskarsson
Venue:Artificial Intelligence