dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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

Last update Wed May 22 18:04:08 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page