Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Journal_of_Functional_Programming> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- Journal_of_Functional_Programming 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–2004. The journal is indexed in Zentralblatt MATH.".
- Journal_of_Functional_Programming academicDiscipline Computer_science.
- Journal_of_Functional_Programming editor Jeremy_Gibbons.
- Journal_of_Functional_Programming editor Matthias_Felleisen.
- Journal_of_Functional_Programming firstPublicationYear "1991".
- Journal_of_Functional_Programming frequencyOfPublication "Bimonthly".
- Journal_of_Functional_Programming issn "0956-7968".
- Journal_of_Functional_Programming issn "1469-7653".
- Journal_of_Functional_Programming publisher Cambridge_University_Press.
- Journal_of_Functional_Programming wikiPageExternalLink displayBackIssues?jid=JFP.
- Journal_of_Functional_Programming wikiPageExternalLink displayIssue?jid=JFP&tab=currentissue.
- Journal_of_Functional_Programming wikiPageExternalLink jid_JFP.
- Journal_of_Functional_Programming wikiPageID "11136078".
- Journal_of_Functional_Programming wikiPageLength "2101".
- Journal_of_Functional_Programming wikiPageOutDegree "20".
- Journal_of_Functional_Programming wikiPageRevisionID "664919150".
- Journal_of_Functional_Programming wikiPageWikiLink Bimonthly.
- Journal_of_Functional_Programming wikiPageWikiLink Cambridge_University_Press.
- Journal_of_Functional_Programming wikiPageWikiLink Category:Bimonthly_journals.
- Journal_of_Functional_Programming wikiPageWikiLink Category:Cambridge_University_Press_academic_journals.
- Journal_of_Functional_Programming wikiPageWikiLink Category:Computer_science_journals.
- Journal_of_Functional_Programming wikiPageWikiLink Category:English-language_journals.
- Journal_of_Functional_Programming wikiPageWikiLink Category:Functional_programming.
- Journal_of_Functional_Programming wikiPageWikiLink Category:Publications_established_in_1991.
- Journal_of_Functional_Programming wikiPageWikiLink Computer_science.
- Journal_of_Functional_Programming wikiPageWikiLink Editor-in-chief.
- Journal_of_Functional_Programming wikiPageWikiLink Functional_programming.
- Journal_of_Functional_Programming wikiPageWikiLink Higher-Order_and_Symbolic_Computation.
- Journal_of_Functional_Programming wikiPageWikiLink International_Conference_on_Functional_Programming.
- Journal_of_Functional_Programming wikiPageWikiLink Jeremy_Gibbons.
- Journal_of_Functional_Programming wikiPageWikiLink Language-based_security.
- Journal_of_Functional_Programming wikiPageWikiLink Matthias_Felleisen.
- Journal_of_Functional_Programming wikiPageWikiLink Peer_review.
- Journal_of_Functional_Programming wikiPageWikiLink Philip_Wadler.
- Journal_of_Functional_Programming wikiPageWikiLink Scientific_journal.
- Journal_of_Functional_Programming wikiPageWikiLink Zentralblatt_MATH.
- Journal_of_Functional_Programming wikiPageWikiLinkText "Journal of Functional Programming".
- Journal_of_Functional_Programming country "United Kingdom".
- Journal_of_Functional_Programming discipline Computer_science.
- Journal_of_Functional_Programming editor Jeremy_Gibbons.
- Journal_of_Functional_Programming editor Matthias_Felleisen.
- Journal_of_Functional_Programming eissn "1469".
- Journal_of_Functional_Programming frequency Bimonthly.
- Journal_of_Functional_Programming frequency "Bimonthly".
- Journal_of_Functional_Programming history "1991".
- Journal_of_Functional_Programming issn "956".
- Journal_of_Functional_Programming link displayBackIssues?jid=JFP.
- Journal_of_Functional_Programming link displayIssue?jid=JFP&tab=currentissue.
- Journal_of_Functional_Programming link1Name "Online access".
- Journal_of_Functional_Programming link2Name "Online archive".
- Journal_of_Functional_Programming publisher Cambridge_University_Press.
- Journal_of_Functional_Programming title "Journal of Functional Programming".
- Journal_of_Functional_Programming website jid_JFP.
- Journal_of_Functional_Programming wikiPageUsesTemplate Template:Compu-journal-stub.
- Journal_of_Functional_Programming wikiPageUsesTemplate Template:Infobox_journal.
- Journal_of_Functional_Programming wikiPageUsesTemplate Template:Official_website.
- Journal_of_Functional_Programming wikiPageUsesTemplate Template:Reflist.
- Journal_of_Functional_Programming subject Category:Bimonthly_journals.
- Journal_of_Functional_Programming subject Category:Cambridge_University_Press_academic_journals.
- Journal_of_Functional_Programming subject Category:Computer_science_journals.
- Journal_of_Functional_Programming subject Category:English-language_journals.
- Journal_of_Functional_Programming subject Category:Functional_programming.
- Journal_of_Functional_Programming subject Category:Publications_established_in_1991.
- Journal_of_Functional_Programming hypernym Journal.
- Journal_of_Functional_Programming type AcademicJournal.
- Journal_of_Functional_Programming type PeriodicalLiterature.
- Journal_of_Functional_Programming type Work.
- Journal_of_Functional_Programming type WrittenWork.
- Journal_of_Functional_Programming type Establishment.
- Journal_of_Functional_Programming type Publication.
- Journal_of_Functional_Programming type Redirect.
- Journal_of_Functional_Programming type CreativeWork.
- Journal_of_Functional_Programming type Thing.
- Journal_of_Functional_Programming type Q1092563.
- Journal_of_Functional_Programming type Q386724.
- Journal_of_Functional_Programming type Q737498.
- Journal_of_Functional_Programming comment "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.".
- Journal_of_Functional_Programming label "Journal of Functional Programming".
- Journal_of_Functional_Programming sameAs Q3186917.
- Journal_of_Functional_Programming sameAs Journal_of_Functional_Programming.
- Journal_of_Functional_Programming sameAs m.02r173j.
- Journal_of_Functional_Programming sameAs Q3186917.
- Journal_of_Functional_Programming wasDerivedFrom Journal_of_Functional_Programming?oldid=664919150.
- Journal_of_Functional_Programming homepage jid_JFP.
- Journal_of_Functional_Programming isPrimaryTopicOf Journal_of_Functional_Programming.
- Journal_of_Functional_Programming name "Journal of Functional Programming".