📈
wiki
Search...
Ctrl
K
Programming
Functional programming
Total functional programming
Previous
Category Theory
Next
Uniqueness Typing
Last updated
5 years ago
Papers
by David Turner (of [Miranda](
)) fame)
by Conor McBride
Total Functional Programming
https://en.wikipedia.org/wiki/Miranda_(programming_language
Totality versus Turing-Completeness?