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