Key Metrics
CiteScore 

6
SJR 

Q4Software

SNIP 

1
Recommended pre-submission checks
Powered by 

Topics Covered on Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages Journal Specifications
Indexed in the following public directories
Web of Science
Scopus
Inspec
SJR
| Overview | |
| Publisher | ACM |
| Frequency | Tri-annual |
| General Details | |
| Frequency | Tri-annual |
| Publisher URL | Visit website |
View less
Planning to publish in Proceedings of the ACM on Programming Languages ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations

Recently Published Papers in Proceedings of the ACM on Programming Languages
Hyperfunctions: Communicating Continuations
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Rows and Capabilities as Modal Effects
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Modal Abstractions for Virtualizing Memory Addresses
- 9 Oct 2025
- Proceedings of the ACM on Programming Languages
A Language for Quantifying Quantum Network Behavior
- 9 Oct 2025
- Proceedings of the ACM on Programming Languages
Hyperfunctions: Communicating Continuations
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Rows and Capabilities as Modal Effects
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Modal Abstractions for Virtualizing Memory Addresses
- 9 Oct 2025
- Proceedings of the ACM on Programming Languages
A Language for Quantifying Quantum Network Behavior
- 9 Oct 2025
- Proceedings of the ACM on Programming Languages