Awesome

total-fp

Archival version of the ESFP website, and all available literature.

Literature

• D. Turner (1995) “Elementary strong functional programming”
• A. Telford, D. Turner (1997) “Ensuring streams flow”
• A. Telford, D. Turner (1997) “Ensuring the productivity of infinite structures”
• A. Kaganovsky (1999) “Computing with exact real numbers in a radix-r system”
• A. Kaganovsky (1999) “Exact complex arithmetic in an imaginary radix system”
• A. Telford, D. Turner (2000) “A hierarchy of languages with strong termination properties”
• A. Telford, D. Turner (2000) “Ensuring termination in ESFP”
• D. Turner (2000) “Final report: Elementary strong functional programming”
• A. Kaganovsky (2001) “Exact computing in positional weighted systems”
• D. Turner (2004) “Total functional programming”
• D. Turner (2006) “Church’s thesis and functional programming”

Related work

• Totally functional programming
• ET language
• Charity language

About

Packaged by Miëtek Bak.