ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 32

Volume 32, Number 1, October 2009

Volume 32, Number 2, January 2010

Volume 32, Number 3, March 2010

Volume 32, Number 4, April 2010

Volume 32, Number 5, May 2010

Volume 32, Number 6, August 2010