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

Volume 12, Number 1, January 1990

Volume 12, Number 2, April 1990

Volume 12, Number 3, July 1990

Volume 12, Number 4, October 1990

a service of Schloss Dagstuhl - Leibniz Center for Informatics