POPL 2021
Proceedings of the ACM on Programming Languages, Volume 5, Number POPL

Title Page

Editorial Message
The Proceedings of the ACM series presents the highest-quality research conducted in diverse areas of computer science, as represented by the ACM Special Interest Groups (SIGs). The ACM Proceedings of the ACM on Programming Languages (PACMPL) focuses on research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. The journal operates in close collaboration with the Special Interest Group on Programming Languages (SIGPLAN) and is committed to making high-quality peer-reviewed scientific research in programming languages free of restrictions on both access and use.
This issue of the PACMPL journal publishes 61 articles that were submitted in response to a call for papers seeking contributions on all aspects of programming languages and programming systems. Both theoretical and experimental papers were sought, on topics ranging from formal frameworks to experience reports. The submissions sought should make principled, enduring contributions to the theory, design, understanding, implementation, or application of programming languages.