total functional programming

non-Turing-complete programming paradigm restricted to provably terminating programs

Shapes: schema:Thing

URI: http://yago-knowledge.org/resource/Total_functional_programming

Properties
PredicateObject
schema:alternateName
  • "strong functional programming"@en
schema:sameAs
  • "https://en.wikipedia.org/wiki/Total_functional_programming"^^xsd:anyURI
rdf:type
rdfs:comment
  • "non-Turing-complete programming paradigm restricted to provably terminating programs"@en
rdfs:label
  • "total functional programming"@en
  • "tutafunkcia programado"@eo
owl:sameAs