Researcher.Life Logo

Proceedings of the ACM on Programming Languages : Impact Factor & More

eISSN: 2475-1421

Key Metrics

CiteScore
6
SJR
Q4Software
SNIP
1
Recommended pre-submission checks
Powered by Paperpal by Editage

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 Web of Science
  • Scopus Scopus
  • Inspec Inspec
  • SJR SJR
Overview
Publisher ACM
Frequency Tri-annual
General Details
FrequencyTri-annual
Publisher URLVisit 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
Free Report

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

FAQs on Proceedings of the ACM on Programming Languages