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
maintained by Schloss Dagstuhl LZI at University of Trier