G. Ramalingam Eelco Visser Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007 PEPM ACM 2007 978-1-59593-620-2 db/conf/pepm/pepm2007.html