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

Volume 23, Number 1, January 2001

Volume 23, Number 2, March 2001

Volume 23, Number 3, May 2001

Volume 23, Number 4, July 2001

Volume 23, Number 5, September 2001

Volume 23, Number 6, November 2001