Total functional programming

Known as: Elementary strong functional programming, Total FP, Total language 
Total functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2014
01219952014

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Wi-Fi networks have enjoyed an unprecedent penetration rate in recent years. However, due to the limited coverage, existing Wi-Fi… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2013
2013
Total functional programming offers the beguiling vision that, just by virtue of the compiler accepting a program, we are… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2010
Highly Cited
2010
WiFi networks have enjoyed an unprecedent penetration rate in recent years. However, due to the limited coverage, existing WiFi… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Our research Group is developing methods of producing practical reference documentation for software products and components. Our… (More)
Is this relevant?
2004
2004
The driving idea of functional programming is to make programming more closely related to mathematics. A program in a functional… (More)
Is this relevant?
2003
2003
Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
Is this relevant?
1999
1999
In the mainstream categorical approach to typed (total) functional programming, datatypes are modelled as initial algebras and… (More)
Is this relevant?
1998
1998
  • Tarmo Uustaluy
  • 1998
In the mainstream categorical approach to typed (total) functional programming, functions with inductive source types deened by… (More)
Is this relevant?
1997
1997
It is our aim to develop an elementary strong functional programming (ESFP) system. To be useful, ESFP should include structures… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Functional programming is a good idea, but we haven’t got it quite right yet. What we have been doing up to now is weak (or… (More)
Is this relevant?