Partially static structures in a self-applicable partial evaluator (1987)

by T Æ Mogensen
Venue:In Bjørner et al. [1987