No. 34 (1996): RS-34 A Computational Formalization for Partial Evaluation (Extended Version)

Published: 1996-06-04