Proceedings of the 14th symposium on Principles and practice of declarative programming
ACM Digital Library