Total functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
- IEEE Transactions on Mobile Computing
- 2014
Wi-Fi networks have enjoyed an unprecedent penetration rate in recent years. However, due to the limited coverage, existing Wi-Fi… (More)
Is this relevant?
2013
2013
- ICFP
- 2013
Total functional programming offers the beguiling vision that, just by virtue of the compiler accepting a program, we are… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
- MobiCom
- 2010
WiFi networks have enjoyed an unprecedent penetration rate in recent years. However, due to the limited coverage, existing WiFi… (More)
Is this relevant?
2007
2007
- IFL
- 2007
Our research Group is developing methods of producing practical reference documentation for software products and components. Our… (More)
Is this relevant?
2004
2004
- J. UCS
- 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
- Trends in Functional Programming
- 2003
Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent… (More)
Is this relevant?
1999
1999
- Informatica, Lith. Acad. Sci.
- 1999
In the mainstream categorical approach to typed (total) functional programming, datatypes are modelled as initial algebras and… (More)
Is this relevant?
1998
1998
- 1998
In the mainstream categorical approach to typed (total) functional programming, functions with inductive source types deened by… (More)
Is this relevant?
1997
1997
- AMAST
- 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
- FPLE
- 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?