Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00) Montréal, Canada September 20 - 23, 2000 (ACM, 2000)