Foundations and Trends in Programming Languages, Volume 2

Volume 2, Number 1, 2015

Volume 2, Numbers 2-3, 2015

Volume 2, Number 4, 2016

a service of Schloss Dagstuhl - Leibniz Center for Informatics