Wei-Ngan Chin Olivier Danvy Peter Thiemann Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. 5-6 2004 17 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1023/B:LISP.0000029481.73168.ef db/journals/lisp/lisp17.html#ChinDT04