Văn bản này: Proceedings of the 14th symposium on Principles and practice of declarative programming