About: Journal of Functional Programming

An Entity of Type: periodical literature, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo:abbreviation	J. Funct. Program.
dbo:abstract	Journal of Functional Programming (JFP) est une revue scientifique spécialisée dans le domaine de la programmation fonctionnelle. (fr) 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. 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. (en)
dbo:academicDiscipline	dbr:Computer_science
dbo:editor	dbr:Jeremy_Gibbons dbr:Shriram_Krishnamurthi
dbo:firstPublicationYear	1991-01-01 (xsd:gYear)
dbo:frequencyOfPublication	Bimonthly
dbo:issn	0956-7968 1469-7653
dbo:openAccessContent	author-paysgold open access(from January 2022)
dbo:publisher	dbr:Cambridge_University_Press
dbo:wikiPageExternalLink	https://www.cambridge.org/core/journals/journal-of-functional-programming http://journals.cambridge.org/action/displayBackIssues%3Fjid=JFP http://journals.cambridge.org/action/displayIssue%3Fjid=JFP&tab=currentissue http://journals.cambridge.org/jid_JFP
dbo:wikiPageID	11136078 (xsd:integer)
dbo:wikiPageLength	3277 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1085111431 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Cambridge_University_Press dbr:Scientific_journal dbc:Computer_science_education_in_the_United_Kingdom dbr:International_Conference_on_Functional_Programming dbr:Computer_science dbr:Zentralblatt_MATH dbr:Peer_review dbc:Functional_programming dbr:Language-based_security dbr:Bimonthly dbr:Editor-in-chief dbc:English-language_journals dbc:Computer_science_in_the_United_Kingdom dbc:Bimonthly_journals dbc:Cambridge_University_Press_academic_journals dbc:Computer_science_journals dbc:Publications_established_in_1991 dbr:Jeremy_Gibbons dbr:Higher-Order_and_Symbolic_Computation dbr:Article_processing_charge dbr:Philip_Wadler dbr:Open_access dbr:Shriram_Krishnamurthi dbr:Functional_programming_languages dbr:Gold_open_access
dbp:abbreviation	J. Funct. Program. (en)
dbp:country	United Kingdom (en)
dbp:discipline	dbr:Computer_science
dbp:editor	dbr:Jeremy_Gibbons dbr:Shriram_Krishnamurthi
dbp:eissn	1469 (xsd:integer)
dbp:frequency	dbr:Bimonthly
dbp:history	1991 (xsd:integer)
dbp:issn	956 (xsd:integer)
dbp:link	http://journals.cambridge.org/action/displayBackIssues%3Fjid=JFP http://journals.cambridge.org/action/displayIssue%3Fjid=JFP&tab=currentissue
dbp:link1Name	Online access (en)
dbp:link2Name	Online archive (en)
dbp:openaccess	author-pays gold open access (en)
dbp:publisher	dbr:Cambridge_University_Press
dbp:title	Journal of Functional Programming (en)
dbp:website	http://journals.cambridge.org/jid_JFP
dbp:wikiPageUsesTemplate	dbt:Infobox_journal dbt:Reflist dbt:Use_dmy_dates
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-magazine-noun-1
dcterms:subject	dbc:Computer_science_education_in_the_United_Kingdom dbc:Functional_programming dbc:English-language_journals dbc:Computer_science_in_the_United_Kingdom dbc:Bimonthly_journals dbc:Cambridge_University_Press_academic_journals dbc:Computer_science_journals dbc:Publications_established_in_1991
gold:hypernym	dbr:Journal
rdf:type	owl:Thing schema:CreativeWork dbo:PeriodicalLiterature dbo:Work wikidata:Q1092563 wikidata:Q234460 wikidata:Q386724 yago:WikicatBimonthlyJournals yago:WikicatCambridgeUniversityPressAcademicJournals yago:WikicatComputerScienceJournals yago:Artifact100021939 yago:Creation103129123 yago:Object100002684 yago:Periodical106593296 yago:PhysicalEntity100001930 yago:Product104007894 yago:Publication106589574 yago:Work104599396 dbo:AcademicJournal dbo:WrittenWork yago:Whole100003553 yago:WikicatEnglish-languageJournals yago:WikicatPublicationsEstablishedIn1991 umbel-rc:Magazine
rdfs:comment	Journal of Functional Programming (JFP) est une revue scientifique spécialisée dans le domaine de la programmation fonctionnelle. (fr) 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. (en)
rdfs:label	Journal of Functional Programming (fr) Journal of Functional Programming (en)
owl:sameAs	freebase:Journal of Functional Programming yago-res:Journal of Functional Programming wikidata:Journal of Functional Programming dbpedia-fr:Journal of Functional Programming https://global.dbpedia.org/id/2we8z
prov:wasDerivedFrom	wikipedia-en:Journal_of_Functional_Programming?oldid=1085111431&ns=0
foaf:homepage	http://journals.cambridge.org/jid_JFP
foaf:isPrimaryTopicOf	wikipedia-en:Journal_of_Functional_Programming
foaf:name	Journal of Functional Programming (en)
is dbo:wikiPageDisambiguates of	dbr:JFP
is dbo:wikiPageRedirects of	dbr:J._Funct._Program. dbr:J_Funct_Program dbr:Journal_of_functional_programming
is dbo:wikiPageWikiLink of	dbr:Calkin–Wilf_tree dbr:List_of_computer_science_journals dbr:Dependent_ML dbr:Dependent_type dbr:List_of_Cambridge_University_Press_journals dbr:Richard_Bird_(computer_scientist) dbr:International_Conference_on_Functional_Programming dbr:List_of_scientific_journals dbr:JFP dbr:Conor_McBride dbr:Functional_programming dbr:Programming_language_theory dbr:J._Funct._Program. dbr:J_Funct_Program dbr:Abstract_rewriting_machine dbr:Higher-Order_and_Symbolic_Computation dbr:Zipper_(data_structure) dbr:Arvind_(computer_scientist) dbr:Philip_Wadler dbr:Journal_of_functional_programming
is foaf:primaryTopic of	wikipedia-en:Journal_of_Functional_Programming