| 2004 | A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo |
| 2004 | A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. Chiyan Chen, Rui Shi, Hongwei Xi |
| 2004 | ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
| 2004 | An Algebraic Theory of Polymorphic Temporal Media. Paul Hudak |
| 2004 | An Implementation of Session Types. Matthias Neubauer, Peter Thiemann |
| 2004 | Compositional Model-Views with Generic Graphical User Interfaces. Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
| 2004 | Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. Chiyan Chen, Dengping Zhu, Hongwei Xi |
| 2004 | Improved Compilation of Prolog to C Using Moded Types and Determinism Information. José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2004 | Observing Functional Logic Computations. Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch |
| 2004 | Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. Martin Erwig, Zhe Fu |
| 2004 | Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings Bharat Jayaraman |
| 2004 | Pruning in the Extended Andorra Model. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
| 2004 | Simplifying Dynamic Programming via Tabling. Hai-Feng Guo, Gopal Gupta |
| 2004 | Supporting Decisions in Complex, Uncertain Domains with Declarative Languages. Andrew Fall |
| 2004 | Symbolic Execution of Behavioral Requirements. Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary |
| 2004 | Typing XHTML Web Applications in ML. Martin Elsman, Ken Friis Larsen |
| 2004 | USA-Smart: Improving the Quality of Plans in Answer Set Planning. Marcello Balduccini |
| 2004 | UUXML: A Type-Preserving XML Schema-Haskell Data Binding. Frank Atanassow, Dave Clarke, Johan Jeuring |