Introduction to Functional Programming, 2nd edition

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Introduction to Functional Programming, 2nd edition

Source

Pages: 433

Medium: Textbook Paperback

Year of Publication: 1998

ISBN:0134843460

Author

Richard Bird

Publisher

Pearson Education

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 43

Additional Information:

abstract cited by collaborative colleagues

Tools and Actions:	Review this Book Save this Book to a Binder Display Formats: BibTeX EndNote ACM Ref Show the table of contents

ABSTRACT

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 coverage of monadic input-output.

CITED BY 43

	Ralf Hinze, A new approach to generic functional programming, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.119-132, January 19-21, 2000, Boston, MA, USA
	Leila Silva , Augusto Sampaio , Edna Barros, A Constructive Approach to Hardware/Software Partitioning, Formal Methods in System Design, v.24 n.1, p.45-90, January 2004
	Martin Erwig , Markus Schneider, Spatio-Temporal Predicates, IEEE Transactions on Knowledge and Data Engineering, v.14 n.4, p.881-901, July 2002
	Medha Shukla Sarkar, GXL: a new graph transformation language, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
	H. Conrad Cunningham , Yi Liu , Hui Xiong, Tutorial: lazy functional programming in Haskell, Proceedings of the 2nd annual conference on Mid-south college computing, p.78-80, April 02-03, 2004, Little Rock, Arkansas
	Jay-Evan J. Tevis , John A. Hamilton, Methods for the prevention, detection and removal of software security vulnerabilities, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
	Rudolf Berghammer , Frank Huch, From functional to object-oriented programming: a smooth transition for beginners, Proceedings of the 2005 workshop on Functional and declarative programming in education, September 25-25, 2005, Tallinn, Estonia
	Viktor Kuncak , Daniel Jackson, Relational analysis of algebraic datatypes, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Raymond Boute, Functional declarative language design and predicate calculus: a practical approach, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.5, p.988-1047, September 2005
	Dongxi Liu , Zhenjiang Hu , Masato Takeichi, An environment for maintaining computation dependency in XML documents, Proceedings of the 2005 ACM symposium on Document engineering, November 02-04, 2005, Bristol, United Kingdom
	Hideya Iwasaki , Zhenjiang Hu, A new parallel skeleton for general accumulative computations, International Journal of Parallel Programming, v.32 n.5, p.389-414, October 2004
	Joost Visser, Coupled Transformation of Schemas, Documents, Queries, and Constraints, Electronic Notes in Theoretical Computer Science (ENTCS), v.200 n.3, p.3-23, May, 2008
	Kiminori Matsuzaki , Hideya Iwasaki , Kento Emoto , Zhenjiang Hu, A library of constructive skeletons for sequential style of parallel programming, Proceedings of the 1st international conference on Scalable information systems, p.13-es, May 30-June 01, 2006, Hong Kong
	Martin Hyland , Gordon Plotkin , John Power, Combining effects: sum and tensor, Theoretical Computer Science, v.357 n.1, p.70-99, 25 July 2006
	Daniel James Goodman, Introduction and evaluation of Martlet: a scientific workflow language for abstracted parallelisation, Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada
	Marco Antonio Barbosa , Luís Soares Barbosa, An Orchestrator for Dynamic Interconnection of Software Components, Electronic Notes in Theoretical Computer Science (ENTCS), 181, p.49-61, June, 2007
	Jeremy Gibbons, Design patterns as higher-order datatype-generic programs, Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, September 16-16, 2006, Portland, Oregon, USA
	Alcino Cunha , Joost Visser, Strongly Typed Rewriting For Coupled Software Transformation, Electronic Notes in Theoretical Computer Science (ENTCS), v.174 n.1, p.17-34, April, 2007
	Kazutaka Morita , Akimasa Morihata , Kiminori Matsuzaki , Zhenjiang Hu , Masato Takeichi, Automatic inversion generates divide-and-conquer parallel programs, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Jurriaan Hage , Stefan Holdermans, Heap recycling for lazy languages, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Alcino Cunha , Jorge Sousa Pinto, Point-free Program Transformation, Fundamenta Informaticae, v.66 n.4, p.315-352, December 2005
	Jeremy Gibbons , Graham Hutton, Proof Methods for Corecursive Programs, Fundamenta Informaticae, v.66 n.4, p.353-366, December 2005
	Richard Bird , Shin-Cheng Mu, Countdown: A case study in origami programming, Journal of Functional Programming, v.15 n.5, p.679-702, September 2005
	Mark P. Jones, Composing fractals, Journal of Functional Programming, v.14 n.6, p.715-725, November 2004
	Raúl Monroy, Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm, Automated Software Engineering, v.10 n.3, p.247-269, July 2003
	João Paulo Fernandes , Alberto Pardo , João Saraiva, A shortcut fusion rule for circular program calculation, Proceedings of the ACM SIGPLAN workshop on Haskell workshop, September 30-30, 2007, Freiburg, Germany
	Richard S. Bird , Ross Paterson, de Bruijn notation as a nested datatype, Journal of Functional Programming, v.9 n.1, p.77-91, January 1999
	Graham Hutton, A tutorial on the universality and expressiveness of fold, Journal of Functional Programming, v.9 n.4, p.355-372, July 1999
	Richard S. Bird, FUNCTIONAL PEARL: Unfolding pointer algorithms, Journal of Functional Programming, v.11 n.3, p.347-358, May 2001
	Richard S. Bird, Maximum marking problems, Journal of Functional Programming, v.11 n.4, p.411-424, July 2001
	Manuel M. T. Chakravarty , Gabriele Keller, The risks and benefits of teaching purely functional programming in first year, Journal of Functional Programming, v.14 n.1, p.113-123, January 2004
	Ralf Hinze, Generalizing generalized tries, Journal of Functional Programming, v.10 n.4, p.327-351, July 2000
	Ralf Hinze, Perfect trees and bit-reversal permutations, Journal of Functional Programming, v.10 n.3, p.305-317, May 2000
	Boris Köpf , David Basin, An information-theoretic model for adaptive side-channel attacks, Proceedings of the 14th ACM conference on Computer and communications security, October 28-31, 2007, Alexandria, Virginia, USA
	Chris Nettleton , Wilson Ifill , Colin Marsh, Towards a demonstrably-correct ada compiler, ACM SIGAda Ada Letters, v.XXVII n.3, December 2007
	N. Botta , C. Ionescu, Relation-based computations in a monadic BSP model, Parallel Computing, v.33 n.12, p.795-821, December, 2007
	Zhenjiang Hu , Shin-Cheng Mu , Masato Takeichi, A programmable editor for developing structured documents based on bidirectional transformations, Higher-Order and Symbolic Computation, v.21 n.1-2, p.89-118, June 2008
	Tetsuo Yokoyama , Gang Zeng , Hiroyuki Tomiyama , Hiroaki Takada, Analyzing and optimizing energy efficiency of algorithms on DVS systems a first step towards algorithmic energy minimization, Proceedings of the 2009 Conference on Asia and South Pacific Design Automation, January 19-22, 2009, Yokohama, Japan
	Alberto Pardo , João Paulo Fernandes , João Saraiva, Shortcut fusion rules for the derivation of circular and higher-order monadic programs, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, January 19-20, 2009, Savannah, GA, USA
	Kazutaka Matsuda , Zhenjiang Hu , Masato Takeichi, Type-based specialization of xml transformations, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, January 19-20, 2009, Savannah, GA, USA
	Kento Emoto , Zhenjiang Hu , Kazuhiko Kakehi , Masato Takeichi, A compositional framework for developing parallel programs on two-dimensional arrays, International Journal of Parallel Programming, v.35 n.6, p.615-658, December 2007
	Issam W. Damaj, Higher-level hardware synthesis of the KASUMI algorithm, Journal of Computer Science and Technology, v.22 n.1, p.60-70, January 2007
	Andy Gill , Graham Hutton, The worker/wrapper transformation, Journal of Functional Programming, v.19 n.2, p.227-251, March 2009

Collaborative Colleagues:

Richard Bird: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player