"Practical Aspects of Declarative Languages - 20th International Symposium, ..."

Francesco Calimeri, Kevin W. Hamlen, Nicola Leone (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics