Write in a clean editor, then format for Journal of Functional Programming in one click — DocuGuru applies the official Cambridge University Press template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
Journal of Functional Programming is a peer-reviewed journal published by Cambridge University Press, covering Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge.
| Publisher | Cambridge University Press |
|---|---|
| Reference style | Numbered Numbered — [1], [2] in the text [1] A. Smith, B. Jones, and C. Lee, A representative article title, Journal of Functional Programming 12 (2023) 45–58.
Formats any DOI in the closest standard style — Journal of Functional Programming has no published style definition, so this is an approximation. No sign-up. |
| Publishes research in | Logic, programming, and type systems Formal Methods in Verification Logic, Reasoning, and Knowledge Parallel Computing and Optimization Techniques Diverse Scientific and Economic Studies |
| ISSN | 0956-7968 |
| Citation impact (2-yr) | 0.57 |
| h-index | 77 |
| i10-index | 454 |
| Total citations | 24,863 |
| Top institutions publishing here | University of Oxford |
| Journal website | journals.cambridge.org |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
We present an actor language which is an extension of a simple functional language, and provide an operational semantics for this extension. Actor configurations represent open distributed systems, by which we mean that the specification of an actor system explicitly takes into account the interface with external components. We study the composability of such systems.…
Abstract In this article, we introduce Applicative functors – an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. Indeed, it is the ubiquity of this programming pattern that drew us to the abstraction. We retrace our steps in this article, introducing the applicative pattern by diverse examples,…
Iris is a framework for higher-order concurrent separation logic, which has been implemented in the Coq proof assistant and deployed very effectively in a wide variety of verification projects. Iris was designed with the express goal of simplifying and consolidating the foundations of modern separation logics, but it has evolved over time, and the design…
Abstract The λσ-calculus is a refinement of the λ-calculus where substitutions are manipulated explicitly. The λσ-calculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical λ-calculus and concrete implementations.
DrScheme is a programming environment for Scheme. It fully integrates a graphics-enriched editor, a parser for multiple variants of Scheme, a functional read-eval-print loop, and an algebraic printer. The environment is especially useful for students, because it has a tower of syntactically restricted variants of Scheme that are designed to catch typical student mistakes and…
