Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
ACM Digital Library