Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - Sabel, David. (Association for Computing Machinery,)