Proceedings of the ACM on Programming Languages, Volume 3

Volume 3, Number POPL, January 2019

Volume 3, Number ICFP, August 2019

Compilation and Parallelism Verified Compilation Type Theory Types 1 Program Analysis and Synthesis The Real World Dependent Types in Haskell Program Verification Modal Types Types 2 Lambda-Calculus and Teaching

Volume 3, Number OOPSLA, October 2019

Papers