ML for the Working Programmer

Paulson, Lawrence C.

ISBN 10: 0521390222 / ISBN 13: 9780521390224

Published by Cambridge University Press, 1991

About this Item

Good. Ex-Library with usual stamps and stickers. Used with moderate to heavy wear to covers and corners, sunning to spine. Age-toning to pages. NO markings and binding is sturdy. Seller Inventory # mon0000681866

Bibliographic Details

Title: ML for the Working Programmer

Publisher: Cambridge University Press

Publication Date: 1991

Binding: hardcover

Condition: Good

About this title

Synopsis:

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.