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

Volume 9, Number 1, January 1987

Volume 9, Number 2, April 1987

Volume 9, Number 3, July 1987

Volume 9, Number 4, October 1987