Science of Computer Programming, Volume 155

Volume 155, April 2018

Selected and Extended papers from the International Symposium on Principles and Practice of Declarative Programming 2016
a service of Schloss Dagstuhl - Leibniz Center for Informatics