Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : PPDP. (ACM Press,, 2000)