Skip to content
<awesome-gh-repos>
vic

mietek/total-fp

Total functional programming (ESFP) literature
Source code at GitHub https://github.com/mietek/total-fp
mietek/total-fp.json
{
  "createdAt": "2015-04-05T10:58:56Z",
  "defaultBranch": "master",
  "description": "Total functional programming (ESFP) literature",
  "fullName": "mietek/total-fp",
  "homepage": "",
  "language": null,
  "name": "total-fp",
  "pushedAt": "2019-02-15T11:56:59Z",
  "stargazersCount": 187,
  "topics": [],
  "updatedAt": "2025-08-15T11:35:49Z",
  "url": "https://github.com/mietek/total-fp"
}

total-fp

Section titled “total-fp”

[Archival version]!(doc/README.md) of the ESFP website, and all available literature.

Literature

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

About

Section titled “About”

Packaged by Miëtek Bak.