The Functional Approach to Programming

Cambridge University Press, Oct 29, 1998 - Computers - 445 pages

A programming course should concentrate on a program's logical structure and design rather than on simply writing code. The functional approach to programming achieves this aim because logical concepts are evident and programs are transparent, and so can be written quickly and cleanly. In this book, the authors emphasize the notions of function and relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml language, a dialect of the ML family, and give examples of how complex programs from a variety of areas (such as arithmetic, tree algorithms, graph algorithms, text parsing and geometry) can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available. An appendix gives all the code used in the book in Standard ML.

Preview this book »

What people are saying - Write a review

Review: The Functional Approach to Programming

User Review - Thomas - Goodreads

This was recommended by a good friends who's opinion matters greatly to me. Looking forward to finding a reasonably priced copy at some point. Read full review

Related books

Functional programming: practice and theory

Bruce J. MacLennan
Snippet view - 1990

The Haskell School of Expression: Learning Functional Programming Through ...

Paul Hudak
Limited preview - 2000

ML for the Working Programmer

Lawrence C. Paulson
Limited preview - 1996

All related books »

Selected pages

IV	13

V	14

VI	16

VII	20

VIII	21

IX	29

X	32

XI	35

LVI	229

LVII	230

LVIII	231

LIX	232

LX	233

LXI	237

LXII	246

LXIII	258

XII	36

XIII	37

XIV	44

XVI	47

XVII	49

XVIII	59

XIX	70

XXI	73

XXII	74

XXIII	84

XXIV	91

XXV	92

XXVI	103

XXVII	104

XXVIII	105

XXIX	107

XXX	111

XXXI	114

XXXII	118

XXXIII	129

XXXIV	131

XXXVI	133

XXXVII	135

XXXVIII	143

XXXIX	148

XL	154

XLII	157

XLIII	159

XLIV	161

XLV	163

XLVI	164

XLVII	173

XLVIII	187

XLIX	189

L	192

LI	194

LIII	195

LIV	197

LV	206

LXIV	265

LXV	278

LXVII	281

LXVIII	282

LXIX	289

LXX	298

LXXI	318

LXXII	332

LXXIII	335

LXXIV	337

LXXV	338

LXXVI	349

LXXVII	353

LXXVIII	354

LXXIX	356

LXXX	359

LXXXI	360

LXXXII	361

LXXXIII	363

LXXXIV	366

LXXXV	369

LXXXVI	375

LXXXVIII	377

LXXXIX	378

XC	386

XCI	392

XCII	397

XCIII	399

XCV	401

XCVI	406

XCVII	413

XCVIII	418

XCIX	419

C	421

CI	425

CII	427

CIII	431

CIV	443

Copyright

Other editions - View all

The Functional Approach to Programming

Guy Cousineau,Michel Mauny
No preview available - 1998

Common terms and phrases

abstract algorithm analyzer andalso application argument arithmetic associated AVL tree balance binary search tree binary trees bool btree CAML Cartesian product Chapter char stream compile complex compute configuration Constant construction constructors corresponding data structures defined definition denoted digits Division_by_zero doublet DUPL element environment Equiv evaluation evaluation strategy example Expr expression fun fact failwith Figure float fun x fun x y gentree grammar graph idea implementation infix int list int vect integer IntjConst isometry iter itjist let rec listjt LPAR ml_exp natural numbers node operation orelse pair parameter parser pattern matching possible produce programming languages quicksort recognizer recursive regexpr regular expression representation represented rewrite rotation rules Section semantics sequence stack string substitution subtree SWAP symbol symmetry group syntactic syntax tenv term tiling token fun transformation type int type scheme type synthesis type variable type_expr unification values of type

References to this book

From other books

Informatics Curricula and Teaching Methods

Lillian Cassel,Ricardo Augusto da Luz Reis,R. Reis
Limited preview - 2003

Proceedings of the 2nd European Conference on eLearning - 2003

Roy Williams
Limited preview - 2003

All Book Search results »

From Google Scholar

A Metalanguage for Programming with Bound Names Modulo Renaming

Andrew M Pitts, Murdoch J Gabbay

Floating Point Verification in HOL Light: The Exponential Function

John Harrison - 2000 - Formal Methods in System Design

A calculus of functional BSP programs

Fr�ed�eric Loulergue, Ga�etan Hains, Christian Foisy - 2000 - Science of Computer Programming

Possible Worlds and Resources: The Semantics of BI

David J Pym, Peter W O�Hearn, Hongseok Yang

All Scholar search results »

References from web pages

The Functional Approach to Programming with Caml
The Functional Approach to Programming with Caml. by Guy Cousineau and Michel Mauny (version fran�aise du livre). Cover Cambridge University Press, 1998, ...
pauillac.inria.fr/ cousineau-mauny/ main.html

<i>The Functional Approach to Programming</i> by Guy Cousineau and ...
The Functional Approach to Programming by Guy Cousineau and Michel Mauny, Cambridge University Press, 1998, ISBN 0-521-57681-4 pbk, xiv+445pp. ...
portal.acm.org/ citation.cfm?id=968578.968584& dl=GUIDE& dl=GUIDE& CFID=15151515& CFTOKEN=6184618

Review of Cousineau G. and Mauny, M. The Functional Approach to ...
Hartel, ph (1999) Review of Cousineau G. and Mauny, M. The Functional Approach to Programming. J. Functional Programming, 9 (4). pp. 479-481. ...
eprints.ecs.soton.ac.uk/ 497/

The Functional Approach to Programming - Cambridge University Press
The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and ...
www.cambridge.org/ aus/ catalogue/ catalogue.asp?isbn=9780521571838

Functional programming - Wikipedia, the free encyclopedia
The Functional Approach to Programming. Cambridge, UK: Cambridge University Press, 1998. Curry, Haskell Brooks and Feys, Robert and Craig, William. ...
en.wikipedia.org/ wiki/ Functional_programming

The Functional Approach to Programming (豆瓣)
The functional approach to programming achieves this aim because logical concepts are evident and programs are transparent, and so can be written quickly ...
www.douban.com/ subject/ 1764633/

livre the functional approach to programming (paperback), ouvrages ...
livre ouvrages generaux. methodes de programmation : in functional programming, logical concepts are evident and programs are transparent and so can be ...
www.lavoisier.fr/ notice/ frJUORSXLOARE3AO.html

Software Design, Testing & Engineering
-1%, 76, The Functional Approach to Programming ~ G. Cousineau - M. Mauny Cambridge University Press G. Cousineau - M. Mauny ...
www.mycompbookbee.co.uk/ cat801418.html

in�dit 22 - Livres
The Functional Approach to Programming. Guy Cousineau, Michel Mauny Cambridge University Press, 445 pages, 1999. Un cours de programmation devrait se ...
www.inria.fr/ actualites/ / / / inedit/ inedit22_savb.fr.html

book the functional approach to programming (paperback), general ...
book general titles. programming methods : in functional programming, logical concepts are evident and programs are transparent and so can be written ...
www.lavoisier.fr/ notice/ gbJZORSXLOARU3AO.html

Bibliographic information

QR code for The Functional Approach to Programming

Title	The Functional Approach to Programming
Author	Guy Cousineau
Contributor	Michel Mauny
Edition	illustrated, reprint
Publisher	Cambridge University Press, 1998
ISBN	0521576814, 9780521576819
Length	445 pages
Subjects	Computers › Programming › General Computers / Programming / General Computers / Programming Languages / General Computers / Software Development & Engineering / General

Export Citation	BiBTeX EndNote RefMan

About Google Books - Privacy Policy - Terms of Service - Blog - Information for Publishers - Report an issue - Help - Sitemap - Google Home