| 1999 | An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher |
| 1999 | C++ Templates as Partial Evaluation. Todd L. Veldhuizen |
| 1999 | Certifying Compilation and Run-Time Code Generation. Luke Hornof, Trevor Jim |
| 1999 | Combining Program and Data Specialization. Sandrine Chirokoff, Charles Consel |
| 1999 | Declarative Aspect-Oriented Programming. Ralf Lämmel |
| 1999 | Deriving a Statically Typed Type-Directed Partial Evaluator. Morten Rhiger |
| 1999 | Diffusion: Calculating Efficient Parallel Programs. Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki |
| 1999 | Effective Optimization of Multiple Traversals in Lazy Languages. Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo |
| 1999 | Gödelization in the Untyped lambda-Calculus. Torben Æ. Mogensen |
| 1999 | Interpreting Specialization in Type Theory. Peter Thiemann |
| 1999 | Partial Evaluation of Shaped Programs: Experience with FISh. C. Barry Jay |
| 1999 | Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1 Olivier Danvy |
| 1999 | Quasiquotation in Lisp. Alan Bawden |
| 1999 | Shifting Expression Procedures into Reverse. Mark Tullsen, Paul Hudak |
| 1999 | Slicing Software for Model Construction. Matthew B. Dwyer, John Hatcliff |