ACM Transactions on Programming Languages and Systems, Volume 40

Volume 40, Number 1, January 2018

maintained by Schloss Dagstuhl LZI at University of Trier