Partially static structures in selfapplicable partial evaluator (1988)

by T Mogensen
Venue:In I..Bjorner, A..Ershov, N..Jones. Partial Evaluation and Mixed Computation