This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Proceedings of the ACM on Programming Languages (PACMPL)
A conference, workshop or journal: the thing that recurs, across all its years.
The journal form of ACM SIGPLAN's conferences: POPL, ICFP, OOPSLA and PLDI each appear as an issue. Papers are refereed on a journal cycle and then presented at the conference, which is why a citation here names an issue rather than a proceedings volume.
6 references
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
The semantics of shared memory in Intel CPU/FPGA systems
Dan Iorga and others (2021) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
A probabilistic separation logic
Gilles Barthe and others (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Separation logic for sequential programs (functional pearl)
Arthur Charguéraud (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Incorrectness logic
Peter W. O'Hearn (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
RustBelt: Securing the foundations of the Rust programming language
Ralf Jung and others (2018) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery