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