| 2002 | Automatic time-bound analysis for a higher-order language. Gustavo Gomez, Yanhong A. Liu |
| 2002 | CPS translating inductive and coinductive types. Gilles Barthe, Tarmo Uustalu |
| 2002 | Compositionality in the puzzle of semantics. Roberto Giacobazzi, Isabella Mastroeni |
| 2002 | Cost-augmented narrowing-driven specialization. Germán Vidal |
| 2002 | From checking to inference via driving and dag grammars. Jens P. Secher, Morten Heine Sørensen |
| 2002 | Growing languages with metamorphic syntax macros. Claus Brabrand, Michael I. Schwartzbach |
| 2002 | Implementation of automatic differentiation tools. Christian H. Bischof, Paul D. Hovland, Boyana Norris |
| 2002 | Mixed-initiative interaction = mixed computation. Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones |
| 2002 | Online partial evaluation for shift and reset. Kenichi Asai |
| 2002 | Path dependent analysis of logic programs. Lunjin Lu |
| 2002 | Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002 Peter Thiemann |
| 2002 | Program optimization using indexed and recursive data structures. Yanhong A. Liu, Scott D. Stoller |
| 2002 | Staged compilation. Craig Chambers |
| 2002 | Towards bridging the gap between programming languages and partial evaluation. Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel |