Abstract is missing.
- Quasiquotation in LispAlan Bawden. 4-12
- C++ Templates as Partial EvaluationTodd L. Veldhuizen. 13-18 [doi]
- Gödelization in the Untyped lambda-CalculusTorben Æ. Mogensen. 19-24
- Deriving a Statically Typed Type-Directed Partial EvaluatorMorten Rhiger. 25-29
- Interpreting Specialization in Type TheoryPeter Thiemann. 30-43
- Combining Program and Data SpecializationSandrine Chirokoff, Charles Consel. 45-59
- Certifying Compilation and Run-Time Code GenerationLuke Hornof, Trevor Jim. 60-74
- An Integration of Partial Evaluation in a Generic Abstract Interpretation FrameworkGermán Puebla, Manuel V. Hermenegildo, John P. Gallagher. 75-84
- Diffusion: Calculating Efficient Parallel ProgramsZhenjiang Hu, Masato Takeichi, Hideya Iwasaki. 85-94
- Shifting Expression Procedures into ReverseMark Tullsen, Paul Hudak. 95-104
- Slicing Software for Model ConstructionMatthew B. Dwyer, John Hatcliff. 105-118
- Effective Optimization of Multiple Traversals in Lazy LanguagesWei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo. 119-130
- Declarative Aspect-Oriented ProgrammingRalf Lämmel. 131-146
- Partial Evaluation of Shaped Programs: Experience with FIShC. Barry Jay. 147-158