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

Volume 5, Number 1, January 1983

Volume 5, Number 2, April 1983

Volume 5, Number 3, July 1983

Volume 5, Number 4, October 1983