ML Program Design Tutorial (Second Edition)

Author: (English) Paulson (Paulson, L.C.) wrote, translated by Kovai
Publisher:
Publishing Time:
Features: This book provides a detailed explanation of how to use ML language for programming and introduces the basic principles of functional programming. It particularly describes the main features of the new standard library designed for the revised version of ML, and offers numerous examples covering sorting, matrix operations, polynomial operations, and more. Large 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, priority queues, etc., and includes a chapter dedicated to formal reasoning about functional programs. This book can be used as a textbook for related courses in computer science at universities and is also suitable for reference by program design professionals.