> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/programming/functional-programming/total.md).

# Total functional programming

## Papers

* [Total Functional Programming](http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf) by David Turner (of \[Miranda]\(<https://en.wikipedia.org/wiki/Miranda_(programming_language>)) fame)&#x20;
* [Totality versus Turing-Completeness?](https://personal.cis.strath.ac.uk/conor.mcbride/pub/Totality.pdf) by Conor McBride