PPDP'04 : proceedings of the sixth ACM Sigplan Conference on Principles and Practice of Declarative Programming (PPDP '04) : Verona, Italy, August 24-26, 2004 (Association for Computing Machinery, 2004)