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

Volume 7, Number 1, January 1985

Volume 7, Number 2, April 1985

Volume 7, Number 3, July 1985

Volume 7, Number 4, October 1985