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

Volume 31, Number 1, December 2008

Volume 31, Number 2, February 2009

Volume 31, Number 3, April 2009

Volume 31, Number 4, May 2009

Volume 31, Number 5, June 2009

Volume 31, Number 6, August 2009