| 2002 | A Better XML Parser through Functional Programming. Oleg Kiselyov |
| 2002 | A Debugging Scheme for Declarative Equation Based Modeling Languages. Peter Bunus, Peter Fritzson |
| 2002 | A High-Level Generic Interface to External Programming Languages for ECLiPSe. Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer |
| 2002 | Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. John P. Gallagher, Germán Puebla |
| 2002 | Adding Apples and Oranges. Martin Erwig, Margaret M. Burnett |
| 2002 | Compiler Construction in Higher Order Logic Programming. Chuck C. Liang |
| 2002 | Compiling Embedded Programs to Byte Code. Morten Rhiger |
| 2002 | Declarative Programming and Clinical Medicine. Olof Torgersson |
| 2002 | Event-Driven FRP. Zhanyong Wan, Walid Taha, Paul Hudak |
| 2002 | Exploiting Efficient Control and Data Structures in Logic Programs. Rong Yang, Steve Gregory |
| 2002 | Functional Approach to Texture Generation. Jerzy Karczmarczuk |
| 2002 | How to Talk to Your Computer so that It Will Listen. Verónica Dahl |
| 2002 | Linear Scan Register Allocation in a High-Performance Erlang Compiler. Erik Johansson, Konstantinos Sagonas |
| 2002 | Modeling Engineering Structures with Constrained Objects. Bharat Jayaraman, Pallavi Tambay |
| 2002 | Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings Shriram Krishnamurthi, C. R. Ramakrishnan |
| 2002 | Segment Order Preserving and Generational Garbage Collection for Prolog. Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen |
| 2002 | Semantics-Based Filtering: Logic Programming's Killer App? Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou |
| 2002 | Single-Threaded Objects in ACL2. Robert S. Boyer, J Strother Moore |
| 2002 | Suspending and Resuming Computations in Engines for SLG Evaluation. Luís Fernando Castro, Terrance Swift, David Scott Warren |
| 2002 | Typed Combinators for Generic Traversal. Ralf Lämmel, Joost Visser |
| 2002 | Using a Declarative Language to Build an Experimental Analysis Tool. Catherine Meadows |
| 2002 | WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. Peter Thiemann |