Corpus ID: 26683207

Introduction to functional programming

@inproceedings{Bird1988IntroductionTF,
  title={Introduction to functional programming},
  author={R. Bird and P. Wadler},
  booktitle={Prentice Hall International series in computer science},
  year={1988}
}
  • R. Bird, P. Wadler
  • Published in
    Prentice Hall International…
    1988
  • Computer Science
  • From the Publisher: This is a thorough introduction to the fundamental concepts of functional programming. The book clearly expounds the construction of functional programming as a process of mathematical calculation, but restricts itself to the mathematics relevant to actual program construction. It covers simple and abstract datatypes, numbers, lists, examples, trees, and efficiency. It includes a simple, yet coherent treatment of the Haskell class; a calculus of time complexity; and new… CONTINUE READING
    987 Citations

    Figures, Tables, and Topics from this paper

    Total Functional Programming
    • D. Turner
    • Computer Science
    • J. Univers. Comput. Sci.
    • 2004
    • 85
    • PDF
    Drawing Trees
    • 28
    • PDF
    Elementary Strong Functional Programming
    • 108
    • Highly Influenced
    • PDF
    A Functional Theory of Exceptions
    • J. Spivey
    • Computer Science
    • Sci. Comput. Program.
    • 1990
    • 83
    An Introduction to Dependent Type Theory
    • 11
    • PDF
    An introduction to the theory of lists
    • 721
    • PDF
    An Introduction to the Lambda Calculus
    • 21
    • PDF
    The essence of functional programming (Invited talk)
    • 59
    Invited Talk: Pointwise Relational Programming
    • 12

    References

    SHOWING 1-9 OF 9 REFERENCES
    Computational Logic
    • 1,090
    • Highly Influential
    • PDF
    The Art of Computer Programming, Volume 3, Sorting and Searching
    • 1,473
    • Highly Influential
    • PDF
    The Implementation of Functional Pro­ gramming Languages
    • 1987
    Functional Programming - Application and Implementation: Russian Edition 1983, Japanese Edition 1985
    • 12
    • Highly Influential
    Finite and Infinite Machines
    • 1967
    Rewriting in Cambridge LCF
    • Science of Com­ puter Programming,
    • 1983
    and C
    • P. Wadsworth
    • 1979
    The Art of Computer Programming, Volume II: Seminumerical Algorithms
    • 1,604
    • Highly Influential
    The Art of Computer Programming—Volume 1: Fundamental Algorithms (Donald E. Knuth)
    • 157
    • Highly Influential