ACM Transactions on Programming Languages and Systems, Volume 36

Volume 36, Number 1, March 2014

Volume 36, Number 2, June 2014

Volume 36, Number 3, September 2014

Volume 36, Number 4, October 2014

a service of Schloss Dagstuhl - Leibniz Center for Informatics