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.

https://dl.acm.org/journal/pacmpl

2 references

Incorrectness logic
Peter W. O'Hearn (2019) · Proceedings of the ACM on Programming Languages
RustBelt: Securing the foundations of the Rust programming language
Ralf Jung et al. (2017) · Proceedings of the ACM on Programming Languages