Total functional programming

Papers

• Total Functional Programming by David Turner (of [Miranda](https://en.wikipedia.org/wiki/Miranda_(programming_language)) fame)

• Totality versus Turing-Completeness? by Conor McBride