(Q17146827)

English

total functional programming

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

strong functional programming

In more languages

Statements

programming paradigm

0 references

computer science term

0 references

purely functional programming

0 references

proof assistant

0 references

does not have characteristic

Turing completeness

0 references

Identifiers

0 references

Microsoft Academic ID

0 references

Sitelinks

Wikipedia(2 entries)

enwiki Total functional programming
zhwiki 强函数式编程

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q17146827&oldid=1904336517"