| 2003 | Functional Hybrid Modeling. | Henrik Nilsson, John Peterson, Paul Hudak |
| 2003 | Roll : A Language for Specifying Die-Rolls. | Torben . Mogensen |
| 2003 | JMatch: Iterable Abstract Pattern Matching for Java. | Jed Liu, Andrew C. Myers |
| 2003 | DATALOG with Constraints: A Foundation for Trust Management Languages. | Ninghui Li, John C. Mitchell |
| 2003 | A Strafunski Application Letter. | Ralf Lmmel, Joost Visser |
| 2003 | The CONTINUE Server (or, How I Administered PADL 2002 and 2003). | Shriram Krishnamurthi |
| 2003 | SXSLT: Manipulation Language for XML. | Oleg Kiselyov, Shriram Krishnamurthi |
| 2003 | Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. | Grard P. Huet |
| 2003 | Logic Programs as Compact Denotations. | Patricia M. Hill, Fausto Spoto |
| 2003 | Lambda Goes to Hollywood. | Vctor M. Gulas, Carlos Abalde, Juan J. Snchez |
| 2003 | WAM Local Analysis. | Michel Ferreira, Lus Damas |
| 2003 | Solving Combinatorial Problems with a Constraint Functional Logic Language. | Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Fernando Senz-Prez |
| 2003 | Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. | Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe |
| 2003 | Web Programming with SMLserver. | Martin Elsman, Niels Hallenberg |
| 2003 | A Logical Framework for Modelling eMAS. | Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2003 | ACTILOG: An Agent Activation Language. | Jacinto A. Dvila |
| 2003 | Type-Based XML Processing in Logic Programming. | Jorge Coelho, Mrio Florido |
| 2003 | Data Mining the Yeast Genome in a Lazy Functional Language. | Amanda Clare, Ross D. King |
| 2003 | Logic Programs for Querying Inconsistent Databases. | Pablo Barcel, Leopoldo E. Bertossi |
| 2002 | Exploiting Efficient Control and Data Structures in Logic Programs. | Rong Yang, Steve Gregory |
| 2002 | Event-Driven FRP. | Zhanyong Wan, Walid Taha, Paul Hudak |
| 2002 | Segment Order Preserving and Generational Garbage Collection for Prolog. | Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen |
| 2002 | Declarative Programming and Clinical Medicine. | Olof Torgersson |
| 2002 | WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. | Peter Thiemann |
| 2002 | A High-Level Generic Interface to External Programming Languages for ECLiPSe. | Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer |