The Functional Approach to Programming Export

@book{citeulike:1289317, abstract = {{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.}}, author = {Cousineau, Guy and Mauny, Michel}, citeulike-article-id = {1289317}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0521571839}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/0521571839}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/0521571839}, citeulike-linkout-3 = {http://www.amazon.co.uk/exec/obidos/ASIN/0521571839/citeulike00-21}, citeulike-linkout-4 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0521571839}, citeulike-linkout-5 = {http://www.worldcat.org/isbn/0521571839}, citeulike-linkout-6 = {http://books.google.com/books?vid=ISBN0521571839}, citeulike-linkout-7 = {http://www.amazon.com/gp/search?keywords=0521571839&index=books&linkCode=qs}, citeulike-linkout-8 = {http://www.librarything.com/isbn/0521571839}, comment = {Great introduction to both functional programming and Caml.}, day = {13}, howpublished = {Hardcover}, isbn = {0521571839}, keywords = {formal\_language\_theory, functional}, month = {November}, posted-at = {2007-05-11 09:38:19}, priority = {0}, publisher = {{Cambridge University Press}}, title = {The Functional Approach to Programming}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0521571839}, year = {1998} }

TY - BOOK ID - citeulike:1289317 L3 - citeulike-article-id:1289317 N2 - {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.} SN - 0521571839 TI - The Functional Approach to Programming PB - {Cambridge University Press} KW - formal_language_theory KW - functional N1 - Great introduction to both functional programming and Caml. AU - Cousineau, Guy AU - Mauny, Michel PY - 1998/11/13/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0521571839 ER -