Proceedings of the ACM on Programming Languages, Volume 3

Volume 3, Number POPL, 2019

maintained by Schloss Dagstuhl LZI, founded at University of Trier