Proceedings of the ACM on Programming Languages, Volume 2

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics