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. This is meant to be a practical book; the author avoids dogma, emphasizes efficiency, and provides many useful and interesting programs. These include fast sorting functions and efficient function implementations of arrays, queues, and priority queues. Examples also include a ^D*l-calculus reducer and 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.

Book Description:

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 prominent coverage of modules.

"About this title" may belong to another edition of this title.

Store Description

There's nothing better to clear the cobwebs of the Grumps than curling up with a good book! Find thousands of good reads and lighten your mood with Grumpy's Fine Books!

Visit Seller's Storefront

Seller's business information

Grumpys Fine Books
NM, U.S.A.

Terms of Sale:

I accept all returns within 30 days of delivery and will provide prepaid return shipping labels upon request.

All orders may be canceled by the consumer until the time the order is confirmed and shipped out. This will always happen within a maximum of 48 hours.

Shipping Terms:

I charge shipping to cover USPS Media Mail rate, unless Priority Mail is chosen. Those items will be shipped via USPS Priority Mail. I do not offer UPS or Fedex shipment at this time.
All items are packaged in the most secure way possible so as to avoid damage in transit.

Payment Methods
accepted by seller

Add to Wants

Items related to ML for the Working Programmer

ML for the Working Programmer

Paulson, Lawrence C.

New - Hardcover

Seller's business information