Closed lexingxie closed 5 years ago
https://dblp.org/db/journals/pacmpl/index.html this now contains POPL, OOPSLA, PLDI
commit 7a6c7ab7b100bca578f71145b4a88820c037dfda
https://dblp.org/db/journals/pacmpl/index.html this now contains POPL, OOPSLA, PLDI