Proceedings of the ACM on Programming Languages, Volume 2

Volume 2, Number POPL, January 2018

Strings Types and Effects 1 Verification Interpretation and Evaluation Memory and Concurrency Types Consistency Types and Effects 2 Termination Outside the Box Language Design Dependent Types Testing and Verification Dynamic Languages Program Analysis Probability Synthesis Types for State

Volume 2, Number ICFP, September 2018

Volume 2, Number OOPSLA, November 2018