Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Journal_of_Functional_Programming> ?p ?o. }
Showing items 1 to 71 of
71
with 100 items 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 Matthias_Felleisen.
- Journal_of_Functional_Programming editor Xavier_Leroy.
- 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 wikiPageRevisionID "605235089".
- Journal_of_Functional_Programming country "United Kingdom".
- Journal_of_Functional_Programming discipline Computer_science.
- Journal_of_Functional_Programming editor Matthias_Felleisen.
- Journal_of_Functional_Programming editor Xavier_Leroy.
- Journal_of_Functional_Programming eissn "1469".
- Journal_of_Functional_Programming frequency Bimonthly.
- Journal_of_Functional_Programming frequency "Bimonthly".
- Journal_of_Functional_Programming hasPhotoCollection Journal_of_Functional_Programming.
- 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 wordnet_type synset-magazine-noun-1.
- 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 type Artifact100021939.
- Journal_of_Functional_Programming type BimonthlyJournals.
- Journal_of_Functional_Programming type CambridgeUniversityPressAcademicJournals.
- Journal_of_Functional_Programming type ComputerScienceJournals.
- Journal_of_Functional_Programming type Creation103129123.
- Journal_of_Functional_Programming type English-languageJournals.
- Journal_of_Functional_Programming type Object100002684.
- Journal_of_Functional_Programming type Periodical106593296.
- Journal_of_Functional_Programming type PhysicalEntity100001930.
- Journal_of_Functional_Programming type Product104007894.
- Journal_of_Functional_Programming type Publication106589574.
- Journal_of_Functional_Programming type PublicationsEstablishedIn1991.
- Journal_of_Functional_Programming type Whole100003553.
- Journal_of_Functional_Programming type Work104599396.
- 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 CreativeWork.
- Journal_of_Functional_Programming type Magazine.
- Journal_of_Functional_Programming type InformationEntity.
- 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 label "Journal of Functional Programming".
- 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 sameAs Q3186917.
- Journal_of_Functional_Programming sameAs Journal_of_Functional_Programming.
- Journal_of_Functional_Programming wasDerivedFrom Journal_of_Functional_Programming?oldid=605235089.
- 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".