Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Total functional programming
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Non-Turing-complete programming paradigm restricted to provably terminating programs
Property
Value
dbo:
description
non-Turing-complete programming paradigm restricted to provably terminating programs
(en)
dbo:
wikiPageWikiLink
dbr
:System_F
dbr
:Functional_programming
dbr
:Recursion
dbr
:Walther_recursion
dbr
:Quicksort
dbr
:David_Turner_(computer_scientist)
dbr
:Big_O_notation
dbr
:Abstract_interpretation
dbr
:Termination_analysis
dbr
:Epigram_(programming_language)
dbr
:Partial_function
dbr
:Lazy_evaluation
dbr
:Corecursion
dbr
:Data
dbr
:Finitary
dbc
:Functional_programming
dbc
:Proof_assistants
dbr
:Computer_programming
dbc
:Programming_paradigms
dbr
:Refinement_type
dbr
:Dependent_types
dbr
:Haskell_(programming_language)
dbr
:Upper_bound
dbr
:Strict_evaluation
dbr
:Machine_that_always_halts
dbr
:Martin-Löf_type_theory
dbr
:Charity_(programming_language)
dbr
:Calculus_of_Constructions
dbr
:I/O
dbr
:Codata_(computer_science)
dbr
:Turing-complete
dbr
:Substructural_recursion
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Short_description
dct:
subject
dbc
:Functional_programming
dbc
:Proof_assistants
dbc
:Programming_paradigms
rdfs:
label
Total functional programming
(en)
强函数式编程
(zh)
owl:
sameAs
wikidata
:Total functional programming
dbpedia-zh
:Total functional programming
dbpedia-global
:Total functional programming
freebase
:Total functional programming
yago-res
:Total functional programming
dbr
:Total functional programming
prov:
wasDerivedFrom
wikipedia-en
:Total_functional_programming?oldid=1291330082&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Total_functional_programming
is
dbo:
wikiPageDisambiguates
of
dbr
:TFP
is
dbo:
wikiPageRedirects
of
dbr
:Elementary_strong_functional_programming
dbr
:Strong_functional_programming
dbr
:Total_FP
dbr
:Total_language
is
dbo:
wikiPageWikiLink
of
dbr
:List_of_functional_programming_topics
dbr
:Functional_programming
dbr
:Coinduction
dbr
:Walther_recursion
dbr
:TFP
dbr
:Decider_(Turing_machine)
dbr
:Termination_analysis
dbr
:Normal_form_(abstract_rewriting)
dbr
:Turing_completeness
dbr
:Agda_(programming_language)
dbr
:Curry–Howard_correspondence
dbr
:Meta-circular_evaluator
dbr
:Constructive_set_theory
dbr
:Idris_(programming_language)
dbr
:Elementary_strong_functional_programming
dbr
:Strong_functional_programming
dbr
:Total_FP
dbr
:Total_language
is
dbp:
paradigm
of
dbr
:Agda_(programming_language)
is
foaf:
primaryTopic
of
wikipedia-en
:Total_functional_programming
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International