Journal of Functional Programming
The Journal of Functional Programming is a peer-reviewed scientific journal covering 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. Philip Wadler was editor-in-chief from 1990 to 2004. The journal is indexed in Zentralblatt MATH.
- AcademicJournal
- Artifact100021939
- Creation103129123
- CreativeWork
- Magazine
- Object100002684
- Periodical106593296
- PeriodicalLiterature
- PhysicalEntity100001930
- Product104007894
- Publication106589574
- Q1092563
- Q234460
- Q386724
- Thing
- Whole100003553
- WikicatBimonthlyJournals
- WikicatCambridgeUniversityPressAcademicJournals
- WikicatComputerScienceJournals
- WikicatEnglish-languageJournals
- WikicatPublicationsEstablishedIn1991
- work
- Work104599396
- WrittenWork
- Abbreviation
- J. Funct. Program.
- Abbreviation
- enJ. Funct. Program.
- AcademicDiscipline
- Computer science
- Comment
- enThe Journal of Functional Programming is a peer-reviewed scientific journal covering 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. Philip Wadler was editor-in-chief from 1990 to 2004. The journal is indexed in Zentralblatt MATH.
- Country
- enUnited Kingdom
- Discipline
- Computer science
- Editor
- Jeremy Gibbons
- Editor
- Jeremy Gibbons
- Editor
- Shriram Krishnamurthi
- Editor
- Shriram Krishnamurthi
- Eissn
- 1469
- FirstPublicationYear
- 1991
- Frequency
- Bimonthly
- FrequencyOfPublication
- Bimonthly
- Has abstract
- enThe Journal of Functional Programming is a peer-reviewed scientific journal covering 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. Philip Wadler was editor-in-chief from 1990 to 2004. The journal is indexed in Zentralblatt MATH. As of 2022, the journal is published as open access: the journal articles are available online without a subscription. Author's institutions are expected to cover the journal costs: as of 2022, the article processing charge is GBP 1,250 per article.
- History
- 1991
- Homepage
- journals.cambridge.org/jid_JFP
- Hypernym
- Journal
- Is primary topic of
- Journal of Functional Programming
- Issn
- 0956-7968
- 1469-7653
- Issn
- 956
- Label
- enJournal of Functional Programming
- Link
- displayBackIssues%3Fjid=JFP
- displayIssue%3Fjid=JFP&tab=currentissue
- Link1Name
- enOnline access
- Link2Name
- enOnline archive
- Link from a Wikipage to an external page
- journals.cambridge.org/action/displayBackIssues%3Fjid=JFP
- journals.cambridge.org/action/displayIssue%3Fjid=JFP&tab=currentissue
- journals.cambridge.org/jid_JFP
- www.cambridge.org/core/journals/journal-of-functional-programming
- Link from a Wikipage to another Wikipage
- Article processing charge
- Bimonthly
- Cambridge University Press
- Category:Bimonthly journals
- Category:Cambridge University Press academic journals
- Category:Computer science education in the United Kingdom
- Category:Computer science in the United Kingdom
- Category:Computer science journals
- Category:English-language journals
- Category:Functional programming
- Category:Publications established in 1991
- Computer science
- Editor-in-chief
- Functional programming languages
- Gold open access
- Higher-Order and Symbolic Computation
- International Conference on Functional Programming
- Jeremy Gibbons
- Language-based security
- Open access
- Peer review
- Philip Wadler
- Scientific journal
- Shriram Krishnamurthi
- Zentralblatt MATH
- Name
- enJournal of Functional Programming
- Openaccess
- enauthor-pays gold open access
- OpenAccessContent
- author-paysgold open access(from January 2022)
- Publisher
- Cambridge University Press
- Publisher
- Cambridge University Press
- SameAs
- 2we8z
- Journal of Functional Programming
- Journal of Functional Programming
- m.02r173j
- Q3186917
- Subject
- Category:Bimonthly journals
- Category:Cambridge University Press academic journals
- Category:Computer science education in the United Kingdom
- Category:Computer science in the United Kingdom
- Category:Computer science journals
- Category:English-language journals
- Category:Functional programming
- Category:Publications established in 1991
- Title
- enJournal of Functional Programming
- WasDerivedFrom
- Journal of Functional Programming?oldid=1085111431&ns=0
- Website
- jid JFP
- WikiPageLength
- 3277
- Wikipage page ID
- 11136078
- Wikipage revision ID
- 1085111431
- WikiPageUsesTemplate
- Template:Infobox journal
- Template:Reflist
- Template:Use dmy dates
- Wordnet_type
- synset-magazine-noun-1