Proceedings of the ACM on Programming Languages, Volume 1

Refine list

showing all ?? records

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
a service of  Schloss Dagstuhl - Leibniz Center for Informatics