Proceedings of the ACM on Programming Languages, Volume 1

Volume 1, Number ICFP, September 2017

Art and Education Functional Programming Techniques Applications Effects Low-Level and Systems Programming Foundations of Higher-Order Programming Tools for Verification Program Construction Domain-Specific Languages Dependently Typed Programming Contracts and Sessions Integrating Static and Dynamic Typing Inference and Analysis

Volume 1, Number OOPSLA, October 2017

Types Performance Gradual Types and Memory Tools Synthesis Dynamic Analysis Types and Language Design Optimizing Compilation Verification Mining Software Repositories and Parsing Verification in Practice Testing Language Design Static Analysis Usability and Deadlock Distributed Systems
maintained by Schloss Dagstuhl LZI at University of Trier