| 2004 | A compositional logic for polymorphic higher-order functions. Kohei Honda, Nobuko Yoshida |
| 2004 | A lazy narrowing calculus for declarative constraint programming. Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
| 2004 | A logic programming approach to the verification of functional-logic programs. José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas |
| 2004 | A semantics for tracing declarative multi-paradigm programs. Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal |
| 2004 | Active integrity constraints. Sergio Flesca, Sergio Greco, Ester Zumpano |
| 2004 | Adventures in interoperability: the SML.NET experience. Nick Benton, Andrew Kennedy, Claudio V. Russo |
| 2004 | Characterizing strong normalization in a language with control operators. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
| 2004 | Constraint-set satisfiability for overloading. Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos |
| 2004 | Event choice datalog: a logic programming language for reasoning in multiple dimensions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello |
| 2004 | Formalization and abstract implementation of rewriting with nested rules. Sergio Antoy, Stephen Johnson |
| 2004 | Invited talk: injecting life with computers. Ehud Shapiro |
| 2004 | Invited talk: program generators and the tools to make them. Yannis Smaragdakis |
| 2004 | Invited talk: the blast query language for software verification. Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | Invited talk: towards declarative programming for web services. Sheila A. McIlraith |
| 2004 | Invited talk: what's the future for proof-carrying code? J. Gregory Morrisett |
| 2004 | JIAD: a tool to infer design patterns in refactoring. J. Rajesh, D. Janakiram |
| 2004 | Just enough tabling. Konstantinos Sagonas, Peter J. Stuckey |
| 2004 | Model checking object petri nets in prolog. Berndt Farwer, Michael Leuschel |
| 2004 | New completeness results for lazy conditional narrowing. Mircea Marin, Aart Middeldorp |
| 2004 | Nominal rewriting systems. Maribel Fernández, Murdoch Gabbay, Ian Mackie |
| 2004 | Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy Eugenio Moggi, David Scott Warren |
| 2004 | Providing declarative semantics for HH extended constraint logic programs. Miguel García-Díaz, Susana Nieva |
| 2004 | Scheme fair threads. Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette |
| 2004 | Semantics of the Sava Krstic, John Matthews |
| 2004 | Semi-naive evaluation in linear tabling. Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
| 2004 | Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. Sébastien Carlier, J. B. Wells |
| 2004 | iRho: an imperative rewriting calculus. Luigi Liquori, Bernard P. Serpette |