Journal of Functional Programming

Aims & Scope

Journal of Functional Programming is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice.

Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications.

The journal is of interest to computer scientists, software engineers, programming language researchers and mathematicians interested in the logical foundations of programming.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	0.6
2024	1.10

SJR (SCImago Journal Rank)

Year	Value
2024	0.327

Journal Rank

Year	Value
2024	15817

Quartile

Year	Value
2024	Q3

Journal Citation Indicator

Year	Value
2024	50

h-index

Year	Value
2024	56

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Explicit substitutions

  Citation: 315

  Authors: M., L., P.-L., J.-J.

• Applicative programming with effects

  Citation: 296

  Authors: CONOR, ROSS

• A foundation for actor computation

  Citation: 268

  Authors: GUL A., IAN A., SCOTT F., CAROLYN L.

• Iris from the ground up: A modular foundation for higher-order concurrent separation logic

  Citation: 256

  Authors: RALF, ROBBERT, JACQUES-HENRI, ALEÅ , LARS, DEREK

• The Zipper

  Citation: 215

  Authors: GÉRARD

• Data types à la carte

  Citation: 210

  Authors: WOUTER

• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

  Citation: 206

  Authors: JACQUES, OLEG, CHUNG-CHIEH

• The view from the left

  Citation: 205

  Authors: CONOR, JAMES

• Idris, a general-purpose dependently typed programming language: Design and implementation

  Citation: 195

  Authors: EDWIN

• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine

  Citation: 186

  Authors: Simon L. Peyton

---