ACM Transactions on Programming Languages and Systems, Volume 34

Volume 34, Number 1, April 2012

Volume 34, Number 2, June 2012

Volume 34, Number 3, October 2012

Volume 34, Number 4, December 2012

maintained by Schloss Dagstuhl LZI at University of Trier