World's Best Scientists 2026 revealed!
Journal of Functional Programming
H-index 7

Journal of Functional Programming

0956-7968

Published by: Cambridge University Press

http://journals.cambridge.org/action/displayJournal?jid=JFP

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Computer Science 715 18 25 7

Additional Metrics

Number of Best Scientists*: 18
Documents by Best Scientists*: 25
Top 100 Ranked Scientists*: 0
SCIMAGO H-index: 56
SCIMAGO SJR: 0.327
Impact Factor: 0.6

Overview

Top Research Topics at Journal of Functional Programming?

The scientific interests tackled in the journal are Programming language, Functional programming, Theoretical computer science, Algorithm and Haskell. Journal of Functional Programming focuses on Programming language research which is adjacent to topics in Type (model theory). In addition to Theoretical computer science research, it aims to explore topics under Type inference and Data structure.

Topics in Algorithm explored in the journal were investigated in conjunction with research in Discrete mathematics and Algebra.

  • Programming language (46.83%)
  • Functional programming (22.77%)
  • Theoretical computer science (20.19%)

What are the most cited papers published in the journal?

  • A foundation for actor computation (404 citations)
  • Applicative programming with effects (331 citations)
  • Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine (292 citations)

Research areas of the most cited articles at Journal of Functional Programming:

The most cited publications mainly tackle studies in Programming language, Theoretical computer science, Functional programming, Haskell and Algorithm. The journal articles connects the study in Programming language with the closely related areas of Type (model theory). The published articles deal with Functional programming in conjunction with other fields like

  • Soundness most often made with reference to Operational semantics,
  • Semantics (computer science), which have a strong connection to Programming language theory..

What topics the last edition of the journal is best known for?

  • Programming language
  • Operating system
  • Algebra

The previous edition focused in particular on these issues:

The journal focuses largely on the fields of Programming language, Semantics (computer science), Mathematical proof, Functional programming and Compiler. Programming language works presented in it have a specific focus on Extensibility. While it focused on Mathematical proof, it was also able to explore topics like Monad (functional programming), Correctness, Calculus and Scope (computer science).

The research on Correctness featured in the journal combines topics in other fields like Backward induction, Coercion (linguistics), Type (model theory) and Theoretical computer science. Topics in Functional programming were tackled in line with various other fields like Optimizing compiler, Formal methods, Homotopy type theory and Porting. While work presented in it provided substantial information on Compiler, it also covered topics in Overhead (computing), Inference, Memory management, Parallel computing and Scheme (programming language).

The most cited articles from the last journal are:

  • Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code (2 citations)
  • Not by equations alone: Reasoning with extensible effects (2 citations)
  • On the Correctness of Monadic Backward Induction (1 citations)

Papers citation over time

A key indicator for each journal is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

The top authors publishing in Journal of Functional Programming (based on the number of publications) are:

  • Simon Jones (42 papers) absent at the last edition,
  • Richard Bird (25 papers) absent at the last edition,
  • Ralf Hinze (17 papers) absent at the last edition,
  • Graham Hutton (16 papers) absent at the last edition,
  • Robert Harper (11 papers) absent at the last edition.

The overall trend for top authors publishing in this journal is outlined below. The chart shows the number of publications at each edition of the journal for top authors.

Only papers with recognized affiliations are considered

The top affiliations publishing in Journal of Functional Programming (based on the number of publications) are:

  • University of Oxford (42 papers) published 1 paper at the last edition the same number as at the previous edition,
  • Chalmers University of Technology (30 papers) absent at the last edition,
  • French Institute for Research in Computer Science and Automation (30 papers) absent at the last edition,
  • Microsoft (27 papers) absent at the last edition,
  • Carnegie Mellon University (26 papers) published 1 paper at the last edition.

The overall trend for top affiliations publishing in this journal is outlined below. The chart shows the number of publications at each edition of the journal for top affiliations.

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions in the journal edition to all articles published within that journal. The best research institutions were selected based on the largest number of articles published during all editions of the journal.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

During the most recent 2021 edition, 46.67% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 18.75% were posted by at least one author from the top 10 institutions publishing in the journal. Another 37.50% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 25.00% of all publications and 18.75% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of journals they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same journal from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the journal in relation to all participants in a given year.

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing in a journal. The index includes the authors publishing at the last edition of a journal, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

  • Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
  • Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
  • Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
  • Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
  • Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.

Career Paths in Research: Opportunities and Requirements

For those passionate about research, academic research may become a logically compelling career path. Blooming scholars often consider pursuing a profession in academics, teaching, or within the scientific community. However, the requirements to enter these fields can often seem unclear or complex. Depending on your field of expertise, the desired path can vary dramatically. For instance, let's delve into the world of history research. The work of a history researcher might include archival work, field investigation, and possibly contributing to academia by becoming a history teacher. With a unique set of requirements, this is a prime example where career paths can diverge significantly. If you are interested in delving into this further, (historical research, for example), one of the recommended paths is to consider becoming a trainer in the academic field. You can start this by checking out the history teacher requirements in Colorado, which sheds light on the process and prerequisites you would need to fulfill. It is important to understand that academic career paths are not one-size-fits-all. Your interests, skills, and research outcomes can influence your journey significantly. Ultimately, the goal should align with your interests – focusing on a field of study you are passionate about and turning that into a rewarding career. Regardless of the field you choose, always remember that the journey of research is as exciting as its results!

Top Publications

  • StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities

    Lau Skorstengaard;Dominique Devriese;Lars Birkedal

    (2021)
    46 Citations
  • Blame and coercion: Together again for the first time

    Jeremy G. Siek;Peter Thiemann;Philip Wadler

    (2021)
    43 Citations
  • Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

    Jonathan Immanuel Brachthäuser;Philipp Schuster;Klaus Ostermann

    (2020)
    33 Citations
  • Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays

    Matt Mccutchen;Judith Borghouts;Andrew D. Gordon;Simon Peyton Jones

    (2020)
    12 Citations
  • Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

    Joachim Breitner;Antal Spector-Zabusky;Yao Li;Christine Rizkallah

    (2021)
    11 Citations
  • Explainable dynamic programming

    Martin Erwig;Prashant Kumar

    (2021)
    11 Citations
  • Build systems à la carte: Theory and practice

    Andrey Mokhov;Neil Mitchell;Simon Peyton Jones

    (2020)
    7 Citations
  • What is an education paper

    Shriram Krishnamurthi

    (2021)
    7 Citations
  • Linear capabilities for fully abstract compilation of separation-logic-verified code

    Thomas Van Strydonck;Frank Piessens;Dominique Devriese

    (2021)
    5 Citations
  • Fregel: a functional domain-specific language for vertex-centric large-scale graph processing

    (2022)
    5 Citations

Related Online Degrees & Career Pathways

Pursuing a Computer Science degree online offers flexibility and access to a wide range of programs. For students looking to maximize return on investment, it's wise to explore the highest paying jobs associated with computer science fields, such as software development and data science, to align education with lucrative career paths.

Cost is a major factor for many learners. Fortunately, there are many cheap online colleges that offer quality computer science degrees without breaking the bank. Choosing affordable programs can significantly reduce student debt while still providing strong academic foundations.

Application fees can add unexpected expenses, especially when applying to multiple schools. Students may want to consider online schools no application fee to save money upfront and simplify the admission process.

For those eager to enter the workforce quickly, fast track schools provide accelerated computer science programs that can help students earn degrees in less time without sacrificing quality. This option is ideal for career changers or students balancing other responsibilities.

Best Scientists Contributing to This Journal

Recently Published Articles