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

Publiceret: 1996-06-04