ML Program Design Tutorial (Second Edition) (Second Edition)

Author: Paulson
Publisher:
Publish Date: 2005-05-01
Features: This book is a classic textbook on ML program design, providing a detailed introduction to programming with the ML language and explaining the fundamental principles of functional programming. It contains numerous examples covering topics such as sorting, matrix operations, and polynomial operations. Large-scale examples include a general-purpose top-down parser, an l-calculus reduction program, and a theorem prover. The book also discusses efficient functional implementations of arrays, queues, and priority queues, and includes a chapter dedicated to formal reasoning about functional programs. The book thoroughly explains how to use the ML language for programming and introduces the fundamental principles of functional programming. It particularly highlights the key features of the new standard library designed for the revised version of ML, along with numerous examples covering sorting, matrix operations, and polynomial operations. Large-scale examples include a general-purpose top-down parser, an l-calculus reduction program, and a theorem prover. The book also discusses efficient functional implementations of arrays, queues, and priority queues, and includes a chapter dedicated to formal reasoning about functional programs. This book can serve as a textbook for relevant courses in computer science at universities and colleges, and is also suitable for reference by a broad range of programmers.