Archival version of the ESFP website, and all available literature.
- 1995, D. Turner, “Elementary Strong Functional Programming”
- 1997, A. Telford, D. Turner, “Ensuring Streams Flow”
- 1997, A. Telford, D. Turner, “Ensuring the Productivity of Infinite Structures”
- 1999, A. Kaganovsky, “Computing with Exact Real Numbers in a Radix-r System”
- 1999, A. Kaganovsky, “Exact Complex Arithmetic in an Imaginary Radix System”
- 2000, A. Telford, D. Turner, “A Hierarchy of Languages with Strong Termination Properties”
- 2000, A. Telford, D. Turner, “Ensuring Termination in ESFP”
- 2000, D. Turner, “Final Report: Elementary Strong Functional Programming”
- 2001, D. Kaganovsky, “Exact Computing in Positional Weighted Systems”
- 2004, D. Turner, “Total Functional Programming”
Packaged by Miëtek Bak.