PPDP '04 proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, August 24-26, 2004, Verona, Italy / - Moggi, Eugenio.; Warren, David S. (ACM Press,)