 |
GetTextbooks.com
Compare Prices & Save up to 90% |
|
|
|
| Login | Sign up | My Wish List |
 | | Categorical Combinators, Sequential Algorithms and Functional Programming (Progress in Theoretical Computer Science) by P.-L. Curien ISBN-10: 9780817636548 ISBN-10: 0-8176-3654-4 ISBN-13: 9780817636548 ISBN-13: 978-0-8176-3654-8 Hardcover 1993-01-01 Birkhäuser Boston Find Lowest Price |
Reviews | ||
Nothing introductory about it. This book requires serious familiarity with calculus to get through. If equations filled with Greek symbols makes your head spin then stay away. As for the Functional programming part: "The language described is called CDS0, and should be the 'machine language' of a higher level programming lannguage CDS taking some features of ML (mostly data abstraction facilities); hence CDS should be compiled into CDS0 before execution. Only the material of sections 2 and 3 (i.e. the calculus of the expressions of CDS0, without type control), is already implemented." This book Looks like it has a lot of good content but it's by no means an introductory text to the topics in the title. Being anything but comfortable in calculus and not even remotely interested in learning functional programming at such a low level I can't really comment on the quality of the content. | ||