Olivier Danvy Robert Glück Peter Thiemann Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers Dagstuhl Seminar on Partial Evaluation Lecture Notes in Computer Science 1110 Springer 1996 3-540-61580-6 db/conf/dagstuhl/dagstuhl-pe96.html