This HTML5 document contains 136 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n23https://global.dbpedia.org/id/
umbel-rchttp://umbel.org/umbel/rc/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n22https://www.cambridge.org/core/journals/
n10http://journals.cambridge.org/
freebasehttp://rdf.freebase.com/ns/
n25http://www.w3.org/2006/03/wn/wn20/instances/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n18http://journals.cambridge.org/action/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

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