Journal of Functional Programming
短名 | J. Funct. Prog. |
Journal Impact | 1.11 |
国际分区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING(Q4) |
期刊索引 | SCI Q4中科院 3 区 |
ISSN | 0956-7968, 1469-7653 |
h-index | 54 |
国内分区 | 计算机科学(3区)计算机科学计算机软件工程(2区) |
JOURNAL OF FUNCTIONAL PROGRAMMING 是唯一一本专注于函数式编程语言的设计、实现和应用的期刊,涵盖从数学理论到工业实践的范围。涵盖的主题包括功能语言和扩展、实现技术、推理和证明、程序转换和综合、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。该杂志对计算机科学家、软件工程师、编程语言研究人员和对编程逻辑基础感兴趣的数学家很感兴趣。
期刊主页投稿网址涉及主题 | 计算机科学程序设计语言理论计算机科学数学哲学工程类操作系统函数式程序设计算法生物物理人工智能离散数学地质学量子力学语言学 |
出版信息 | 出版商: Cambridge University Press,出版周期: Bimonthly,期刊类型: journal |
基本数据 | 创刊年份: 1991,原创研究文献占比: 100.00%,自引率:0.00%, Gold OA占比: 64.71% |
平均审稿周期 | 网友分享经验:>12周,或约稿 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Alice or Bob?: Process polymorphism in choreographies
2024-1-1
Asymptotic speedup via effect handlers
2024-1-1
Signature restriction for polymorphic algebraic effects
2024-1-1
<scp>Sparcl</scp>: A language for partially invertible computation
2024-1-1
Static Blame for gradual typing
2024-1-1
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020).
2024-1-1
Knuth–Morris–Pratt illustrated
2024-1-1
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
2023-1-1
Normalization by evaluation for modal dependent type theory
2023-1-1
Contract lenses: Reasoning about bidirectional programs via calculation
2023-1-1
Programming language semantics: It’s easy as 1,2,3
2023-1-1
Classical (co)recursion: Mechanics
2023-1-1
Is sized typing for Coq practical?
2023-1-1
Trace contracts
2023-1-1
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM
2023-1-1
Read/write factorizable programs
2023-1-1
Certified, total serialisers with an application to Huffman encoding
2023-1-1
Folding left and right matters: Direct style, accumulators, and continuations
2023-1-1
A correct-by-construction conversion from lambda calculus to combinatory logic
2023-1-1
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials
2023-1-1
PhD Abstracts
2023-1-1
PhD Abstracts
2023-1-1
Extracting functional programs from Coq, in Coq
2022-1-1
Back to futures
2022-1-1
PhD Abstracts
2022-1-1
On being a PhD student of Robert Harper
2022-1-1
Send to me first: Priority in synchronous message-passing
2022-1-1
Migrating gradual types
2022-1-1
Modal FRP for all: Functional reactive programming without space leaks in Haskell
2022-1-1
Iterating on multiple collections in synchrony
2022-1-1
Denotational semantics as a foundation for cost recurrence extraction for functional languages
2022-1-1
Editorial
2022-1-1
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant
2022-1-1
A well-known representation of monoids and its application to the function ‘vector reverse’
2022-1-1
ANF preserves dependent types up to extensional equality
2022-1-1
Super-naturals
2022-1-1
PhD Abstracts
2022-1-1
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing
2022-1-1
PhD Abstracts
2022-1-1
Editorial
2021-12-16
Not by equations alone: Reasoning with extensible effects
2021-1-27
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
2021-1-1
Cubical Agda: A dependently typed programming language with univalence and higher inductive types
2021-1-1
StkTokens<i>: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities</i>
2021-1-1
Explainable dynamic programming
2021-1-1
Linear capabilities for fully abstract compilation of separation-logic-verified code
2021-1-1
Composable data visualizations
2021-1-1
Real-time MLton: A Standard ML runtime for real-time functional programs
2021-1-1
What is an education paper?
2021-1-1
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
2021-1-1
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远