Total Functional Programming

@article{Turner2004TotalFP,
  title={Total Functional Programming},
  author={D. A. Turner},
  journal={J. UCS},
  year={2004},
  volume={10},
  pages={751-768}
}
The driving idea of functional programming is to make programming more closely related to mathematics. A program in a functional language such as Haskell or Miranda consists of equations which are both computation rules and a basis for simple algebraic reasoning about the functions and data structures they define. The existing model of functional programming, although elegant and powerful, is compromised to a greater extent than is commonly recognised by the presence of partial functions. We… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 59 CITATIONS

FILTER CITATIONS BY YEAR

2005
2019

CITATION STATISTICS

  • 3 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 11 REFERENCES

Report on the Programming Language Haskell

Paul Hudak
  • SIGPLAN Notices, 27(5), May
  • 1992
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Turner “An Overview of Miranda

D. A
  • SIGPLAN Notices, 21(12):158–166, December
  • 1986
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

David McQueen “How to add laziness to a strict language without even being odd

Philip Wadler, Walid Taha
  • 7 pages, Workshop on Standard ML, Baltimore, September
  • 1998
VIEW 1 EXCERPT

David McAllester “Walther Recursion

Kostas Arkoudas
  • Proceedings CADE 13, Springer LNCS 1104:643-657,
  • 1996
VIEW 1 EXCERPT

Pitts “A Co-induction Principle for Recursively Defined Domains

A. M
  • Theoretical Computer Science, 124(2):195-219,
  • 1994
VIEW 1 EXCERPT

J

B. Nordstrom, K. Petersson
  • M. Smith “Programming in Martin-Löf’s Type Theory: An Introduction”, Oxford Science Publications
  • 1990
VIEW 1 EXCERPT

P

R. S. Bird
  • Wadler “Introduction to Functional Programming”, Prentice Hall
  • 1988
VIEW 2 EXCERPTS

R

R. Harper, D. MacQueen
  • Milner “Standard ML”, University of Edinburgh LFCS Report 86-2
  • 1986
VIEW 1 EXCERPT