ACM Transactions on Programming Languages and Systems, Volume 40

Volume 40, Number 1, January 2018

Volume 40, Number 2, June 2018

Volume 40, Number 3, August 2018

maintained by Schloss Dagstuhl LZI at University of Trier