"Programming Languages and Systems - 25th European Symposium on ..."

Peter Thiemann (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics