Journal Report

JOURNAL OF FUNCTIONAL PROGRAMMING

Download PDF
Journal Information
Journal Title
JOURNAL OF FUNCTIONAL PROGRAMMING
Publisher
EPISCIENCES
ISSN
0956-7968
E-ISSN
1469-7653
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
Semantics of pattern unification
AMBROISE LAFONT, NEEL KRISHNASWAMI
2026 Vol. 35
DOI: 10.1017/s0956796825100130
Turner, Bird, Eratosthenes: An eternal burning thread
JEREMY GIBBONS
2025 Vol. 35
DOI: 10.1017/s0956796824000194
Domain-specific tensor languages
JEAN-PHILIPPE BERNARDY, PATRIK JANSSON
2025 Vol. 35
DOI: 10.1017/s0956796825000048
The graphical theory of monads
RALF HINZE, DAN MARSDEN
2025 Vol. 35
DOI: 10.1017/s095679682500005x
Call-by-value and call-by-name: A simple proof of a classic theorem
DARIUSZ BIERNACKI, JAMES MCKINNA, FILIP SIECZKOWSKI
2025 Vol. 35
DOI: 10.1017/s0956796825100038
Automatically testing console I/O behavior of student submissions in Haskell
OLIVER WESTPHAL, JANIS VOIGTLÄNDER
2025 Vol. 35
DOI: 10.1017/s0956796825100075
Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq
NICOLAS CHAPPE, PAUL HE, LUDOVIC HENRIO et al.
2025 Vol. 35
DOI: 10.1017/s0956796825100105
Point-free calculational proofs and program derivation in linear algebra using a graphical syntax
JÚLIA DE ARAÚJO MOTA, JOÃO A. PAIXÃO, LUCAS RUFINO MARTELOTTE
2025 Vol. 35
DOI: 10.1017/s0956796825000085
Inductive synthesis of structurally recursive functional programs from non-recursive expressions
HANGYEOL CHO, WOOSUK LEE
2025 Vol. 35
DOI: 10.1017/s0956796825100063
A practical formalization of monadic equational reasoning in dependent-type theory
REYNALD AFFELDT, JACQUES GARRIGUE, TAKAFUMI SAIKAWA
2025 Vol. 35
DOI: 10.1017/s0956796824000157
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: October 31, 2026 01:54