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, A. Kaganovsky, “Exact computing in positional weighted systems”
- 2004, D. Turner, “Total functional programming”
- 2006, D. Turner, “Church’s thesis and functional programming”
Packaged by Miëtek Bak.