Your basket is currently empty
The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which are extensively used throughout. In addition, the first chapter has been totally rewritten to make the book more accessible to those without experience of programming languages. The main features of new Standard Library for the revised version of ML are described and many new examples are given, while references have also been updated. Dr Paulson has extensive practical experience of ML and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via the Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. Many illustrative and practical examples are included. Efficient functional implementations of arrays, queues, priority queues, etc. are described. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML.
This book is in good condition. Minimal wear and tear. This item was a donation to Goodwill of Greater Washington. Thank you for your purchase. Your order will be processed within 2 business days of receipt. 
A NAME WRITTEN ON 1ST FRONT INSIDE COVER PAGE, OTHERWISE BOOK FINE. 
Shows some signs of wear, and may have some markings on the inside. Shipped to over one million happy customers. Your purchase benefits world literacy! 
Excellent condition. Covers/pages are absolutely clean. Owner's name (one word only) on top edge, otherwise perfect. Look barely read. 
Book in good or better condition. Dispatched same day from warehouse. Please email with any questions for quick response. 
P/B. 429 pages, condition is very good, minor edge wear. This book teaches the methods of functional programming-in particular, how to program in Standard ML, a functional language recently developed at Edinburgh University. The author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures and includes a chapter on formal reasoning about functional programming. However this is a book designed to be used; the author avoids dogma, emphasises efficiency and provides many practical and interesting programs. These include fast sorting functions and efficient functional implementations of arrays, queues and priority queues. Large examples include a l-calculus reducer and a theorem prover. Most features of ML (including modules and imperative programming) are covered in depth and the book can be used without an ML reference manual. The reader is assumed to have some experience in programming in conventional languages such as C or Pascal. For such individuals, be they students, graduates or researchers, this will be a convincing introduction to functional programming. 
P/B. 429 pages, condition is very good, minor edge wear. This book teaches the methods of functional programming-in particular, how to program in Standard ML, a functional language recently developed at Edinburgh University. The author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures and includes a chapter on formal reasoning about functional programming. However this is a book designed to be used; the author avoids dogma, emphasises efficiency and provides many practical and interesting programs. These include fast sorting functions and efficient functional implementations of arrays, queues and priority queues. Large examples include a l-calculus reducer and a theorem prover. Most features of ML (including modules and imperative programming) are covered in depth and the book can be used without an ML reference manual. The reader is assumed to have some experience in programming in conventional languages such as C or Pascal. For such individuals, be they students, graduates or researchers, this will be a convincing introduction to functional programming. 
052156543X Clean and unmarked. Very light wear to cover. Purchase of this item will help support the programs and collections of the Johnson County (Kansas) Library. 
Book in good or better condition. Dispatched same day from warehouse. Please email with any questions for quick response. 
052156543X Visible shelf wear--may have some notes/markings on pages. 
Some notes in pencil on front & rear endpapers; no other marks.; 1.13 x 10.08 x 7.13 Inches; 439 pages; The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to make the book more accessible to students who have no experience of programming languages. The author describes the main features of new Standard Library for the revised version of ML, and gives many new examples, e.g. polynomial arithmetic and new ways of treating priority queues. Finally he has completely updated the references. Dr. Paulson has extensive practical experience of ML, and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. He includes many illustrative and practical examples, covering sorting, matrix operations, and polynomial arithmetic. He describes efficient functional implementations of arrays, queues, and priority queues. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. A chapter is devoted to formal reasoning about functional programs. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML for students at all levels. 
1993 reprint, Large Soft cover has shelf wear, scuff marks, chips around edges creases down spine/on cover, pages tight and clean. 
Third printing of second edition. Book is new and unread. Cover has very light scuffing from handling. 
052156543X Good condition. May have some markings & or shelfwear. All pages intact. Used items may not include extras such as infotrac, CD or other web access codes. 