English
Deutsch
Français
简体中文
繁體中文
Categories
Study
-- IT Certification
-- Mathematics
-- Physics
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Additive and Cancellative Interacting Particle Systems (Lecture Notes in Mathematics) by David Griffeath (Repost)
PI and the AGM: A Study in Analytic Number Theory and Computational Complexity by Jonathan M. Borwein (Repost)
Advances in Complex Function Theory (Lecture Notes in Mathematics) by W. E. Kirwan (Repost)
Synthetic inorganic chemistry a course of laboratory and classroom study by Arthur Alphonzo Blanchard (Repost)
Invitation to Law and Society - An Introduction to the Study of Real Law
Matrix Mathematics - Theory, Facts, and Formulas, Second Edition
Mathematics Probability, Markov Chains, Queues, and Simulation - The Mathematical Basis of Performance Modeling
-Physics, Topology, Logic and Computation: A Rosetta Stone- by John C. Baez adn Mike Stay
-Quantum Physics for Scientists and Technologists- by Paul Sanghera (Repost)
Algebraic Aspects of Cryptography (Algorithms and Computation in Mathematics) by Neal Koblitz (Repost)
Mathematics Mathematical Foundations of Computer Science 2004 [Repost]
Mathematics Mathematical Logic for Computer Science (3rd edition)
Physics Democracy and Public Space: The Physical Sites of Democratic Performance
Spaces of Holomorphic Functions in the Unit Ball (Graduate Texts in Mathematics) by Kehe Zhu (Repost)
An Introduction to Ergodic Theory (Graduate Texts in Mathematics) by Peter Walters (Repost)
Statistical and Thermal Physics - With Computer Applications
Introduction to the Physics of the Earth's Interior (Cambridge Topics in Mineral Ph) by Jean Paul Poirier (Repost)
Mathematics Symmetry Theory in Molecular Physics with Mathematica: A new kind of tutorial book (Repost)
THE GNOMON WORKSHOP CREATING A 3D FIGURE STUDY BOOKWARE ISO-LZ0
Useful Links
Study Guy Cousineau, Michel Mauny - The Functional Approach to Programming
Posted on 2010-03-16
|  |
More Guy Cousineau, Michel Mauny - The Functional Approach to Programming 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. Please appreciate my work to rock these links: if you can not, for whatever reason, then downloaded from these links, then download this: No another mirrors, please! >>> Read RULES >>> Download many interesting free eBooks HERE <<<
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (SharingMatrix) | Alive |
| Download Link (Uploading) | Alive |
| Download Link (Depositfiles) | Alive |
| Download Link (Mirror) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Integration - A Functional Approach Klaus Bichteler "Integration - A Functional Approach" Birkhauser | 1998-07-01 | ISBN: 3764359366 | 208 pages | PDF | 1,3 MB This book covers Lebesgue integration and its generalizations from Daniell's point of view, modified by the use ... |
 | Science/Engineering Functional Neuroimaging: A Clinical Approach Functional Neuroimaging: A Clinical Approach Publisher:Informa HealthCare | Pages:352 | 2008-06-19 | ISBN:0849370566 | PDF | 17.6 MBThis new guide demonstrates the clinical application and utilization of functional neuroradiology for ... |
 | Study The Functional Approach to Programming The Functional Approach to ProgrammingCambridge University Press | ISBN:0521576814 | 2009-07-01 | PDF | 460 pages | 3 Mb A programming course should concentrate on a program's logical structure and design rather than on simply writing code ... |
 | Technical The Design of Functional Programs - A Calculational Approach This document was started as a research to what extent functional programs can be designed in a calculational way. This should be possible because functional-program notations carry less operational connotations than their sequential counte ... |
 | Technical Algorithms: A Functional Programming Approach (International Computer Science Series) ISBN: 0201596040 Publisher: Addison Wesley Author: Fethi A. Rabhi, Guy LapalmeDescription:The design of algorithms for problem-solving lies at the heart of computer science. Concise yet authoritative, Algorithms: A Functional Programming Ap ... |
 | IT Certification Algorithms: A Functional Programming Approach Fethi A. Rabhi, Guy Lapalme, "Algorithms: A Functional Programming Approach" Addison Wesley | 1999 | ISBN: 0201596040 | 256 pages | PDF | 2,3 MB The design of algorithms for problem-solving lies at the heart of computer science. Concise y ... |
Comments (0)
