Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
ACM Digital Library