Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - Gabbrielli, Maurizio (Association for Computing Machinery, 2000)