# 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