This HTML5 document contains 88 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/
n16https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://dbpedia.org/resource/I/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_functional_programming_topics
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Total_FP
dbo:wikiPageWikiLink
dbr:Total_functional_programming
dbo:wikiPageRedirects
dbr:Total_functional_programming
Subject Item
dbr:Total_language
dbo:wikiPageWikiLink
dbr:Total_functional_programming
dbo:wikiPageRedirects
dbr:Total_functional_programming
Subject Item
dbr:Decider_(Turing_machine)
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Normal_form_(abstract_rewriting)
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Coinduction
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Constructive_set_theory
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Functional_programming
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:TFP
dbo:wikiPageWikiLink
dbr:Total_functional_programming
dbo:wikiPageDisambiguates
dbr:Total_functional_programming
Subject Item
dbr:Total_functional_programming
rdf:type
yago:CausalAgent100007347 yago:Assistant109815790 yago:PhysicalEntity100001930 yago:LivingThing100004258 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 yago:Person100007846 yago:Object100002684 yago:Organism100004475 yago:Worker109632518 yago:WikicatProofAssistants
rdfs:label
强函数式编程 Total functional programming
rdfs:comment
强函数式编程(也称为全函数式编程),与之相对的是普通的或者说弱函数式编程。是一种编程范式,它将程序的范围限制为可证明停机的程序。 Total functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a programming paradigm that restricts the range of programs to those that are provably terminating.
dcterms:subject
dbc:Functional_programming dbc:Programming_paradigms dbc:Proof_assistants
dbo:wikiPageID
11599902
dbo:wikiPageRevisionID
1099367898
dbo:wikiPageWikiLink
dbr:Strict_evaluation dbc:Functional_programming dbr:Lazy_evaluation dbc:Programming_paradigms dbr:Epigram_(programming_language) dbr:Finitary dbr:Dependent_types dbr:Substructural_recursion dbc:Proof_assistants dbr:Corecursion dbr:Big_O_notation dbr:Calculus_of_Constructions dbr:Abstract_interpretation dbr:Quicksort dbr:System_F dbr:Charity_(programming_language) dbr:David_Turner_(computer_scientist) dbr:Functional_programming dbr:Recursion dbr:Martin-Löf_type_theory dbr:Walther_recursion dbr:Partial_function dbr:Codata_(computer_science) dbr:Refinement_type dbr:Upper_bound dbr:Computer_programming dbr:Termination_analysis n18:O dbr:Haskell_(programming_language) dbr:Data dbr:Turing-complete dbr:Machine_that_always_halts
owl:sameAs
yago-res:Total_functional_programming dbpedia-zh:强函数式编程 n16:gUr5 wikidata:Q17146827 freebase:m.02rl3rf
dbp:wikiPageUsesTemplate
dbt:Reflist
dbo:abstract
强函数式编程(也称为全函数式编程),与之相对的是普通的或者说弱函数式编程。是一种编程范式,它将程序的范围限制为可证明停机的程序。 Total functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a programming paradigm that restricts the range of programs to those that are provably terminating.
prov:wasDerivedFrom
wikipedia-en:Total_functional_programming?oldid=1099367898&ns=0
dbo:wikiPageLength
6216
foaf:isPrimaryTopicOf
wikipedia-en:Total_functional_programming
Subject Item
dbr:Agda_(programming_language)
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Curry–Howard_correspondence
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Termination_analysis
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Idris_(programming_language)
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Meta-circular_evaluator
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Walther_recursion
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Turing_completeness
dbo:wikiPageWikiLink
dbr:Total_functional_programming
Subject Item
dbr:Elementary_strong_functional_programming
dbo:wikiPageWikiLink
dbr:Total_functional_programming
dbo:wikiPageRedirects
dbr:Total_functional_programming
Subject Item
dbr:Strong_functional_programming
dbo:wikiPageWikiLink
dbr:Total_functional_programming
dbo:wikiPageRedirects
dbr:Total_functional_programming
Subject Item
wikipedia-en:Total_functional_programming
foaf:primaryTopic
dbr:Total_functional_programming