Total functional programming

Property	Value
rdf:type	owl:NamedIndividual Proof assistant Functional programming topic
rdfs:label	Total functional programming
owl:sameAs	dbr:Total_functional_programming
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Proof_assistants http://en.wikipedia.org/wiki/List_of_functional_programming_topics
skos:prefLabel	Total functional programming
skos:altLabel	totality total functional languages total functional programming total language

About: clgr:Total_functional_programming