README
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
About
Packaged by Miëtek Bak.
Contributors
mietek
12 commits
Similar repos
README
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
About
Packaged by Miëtek Bak.
Similar repos
Contributors
mietek
12 commits