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

Volume 2, Number 1, January 1980

Volume 2, Number 2, April 1980

Volume 2, Number 3, July 1980

Volume 2, Number 4, October 1980