No. 1 (1997): RS-01 Partial Evaluation of the Euclidian Algorithm (Extended Version)

Published: 1997-01-01