Top 10 Logic, programming, and type systems Journals (2026 Ranking)

Explore the leading academic journals in Logic, programming, and type systems. This list features high-impact publications ranked by their latest metrics, APC fees, and indexing status.

Highest Citation Rate Logic, programming, and type systems Journal 2026

The highest citation rate logic, programming, and type systems journal currently in our catalog is Communications of the ACM, with a 2026 OpenAlex Citation Rate of 3.04, published by Association for Computing Machinery. The ranked list below shows the full logic, programming, and type systems journal ranking by Citation Rate.

Data refreshed from our latest data refresh. Search any logic, programming, and type systems journal citation rate by ISSN →

Ranked List: Top Logic, programming, and type systems Publications
#1
Communications of the ACM
Association for Computing Machinery · ISSN: 0001-0782
CR: 3.04
#2
Software Practice and Experience
Wiley · ISSN: 0038-0644
CR: 2.32
#3
ACM Transactions on Programming Languages and Systems
Association for Computing Machinery · ISSN: 0164-0925
CR: 1.57
#4
Theoretical Computer Science
Elsevier BV · ISSN: 0304-3975
CR: 0.82
#5
Information and Computation
Elsevier BV · ISSN: 0890-5401
CR: 0.81
#6
ACM Transactions on Computational Logic
Association for Computing Machinery · ISSN: 1529-3785
CR: 0.77
#7
ACM SIGPLAN Notices
Association for Computing Machinery · ISSN: 0362-1340

All Journals in Logic, programming, and type systems

ACM SIGPLAN Notices

Association for Computing Machinery

0362-1340
ACM Transactions on Computational Logic

Association for Computing Machinery

1529-3785 IF 0.77
ACM Transactions on Programming Languages and Systems

Association for Computing Machinery

0164-0925 IF 1.57
Communications of the ACM

Association for Computing Machinery

0001-0782 IF 3.04
Information and Computation

Elsevier BV

0890-5401 IF 0.81
Software Practice and Experience

Wiley

0038-0644 IF 2.32
Theoretical Computer Science

Elsevier BV

0304-3975 IF 0.82

Logic, programming, and type systems Journals — Frequently Asked Questions

What is the highest citation rate logic, programming, and type systems journal in 2026?

The top-ranked logic, programming, and type systems journal on this page is the highest-impact-factor publication in our catalog for this field, sourced from our latest data refresh. Compare it with the rest of the ranked list above to see how citation rates distribute across this discipline.

How do I search journal of logic, programming, and type systems citation rate?

Use the ISSN Checker to look up any logic, programming, and type systems journal by ISSN — you get the latest OpenAlex Citation Rate, CiteScore, quartile, indexing badges, and OA status in one view. Or browse the ranked list above directly.

Are there open access logic, programming, and type systems journals with high citation rate?

Yes — logic, programming, and type systems titles flagged with the green Open Access badge above are both peer-reviewed and freely readable. Several are also DOAJ-listed and Scopus-indexed.

What does logic, programming, and type systems journal ranking mean?

The logic, programming, and type systems journal ranking on this page is by OpenAlex Citation Rate — the average citation count for articles published in the prior two years. Other ranking systems (CiteScore, SJR, OpenAlex Quartiles) apply different windows and weightings. Read what journal citation rate means »

Get weekly updates for Logic, programming, and type systems journals

Free. Monday morning. New citation rates, CFPs, indexing alerts, predatory watch list. One-click unsubscribe.

Get Alerts

Receive notifications when new journals are indexed in Logic, programming, and type systems.

Comparison Shortlist
0 journals
Est. APC Budget: $0
Compare Now
Compare 0 Open → Clear
Save your viewing history
You've browsed several journals this session. Sign in to track them in one place and get weekly impact-factor updates.
Save with Google