Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01) : Florence, Italy, September 5-7, 2001 (ACM, 2001)