Higher-Order and Symbolic Computation, Volume 17

Volume 17, Number 1-2, March-June 2004

Theme issue on Partial Evaluation and Semantics-Based Program Manipulation

Volume 17, Number 3, September 2004

Volume 17, Number 4, December 2004