Foundations and Trends in Programming Languages, Volume 1

Volume 1, Numbers 1-2, 2014

Volume 1, Number 3, 2014

Volume 1, Number 4, 2015

a service of Schloss Dagstuhl - Leibniz Center for Informatics