Programming in Standard ML ’97: A Tutorial Introduction

• Category: Computer
• Author: Stephen Gilmore
• File type: PDF, PostScript, DVI, etc.

Read and download free eBook intituled Programming in Standard ML ’97: A Tutorial Introduction in format PDF, PostScript, DVI, etc. created by Stephen Gilmore.

Standard ML is a functional programming language, and it is more than that. Functional programs have many virtues. They are concise, secure and elegant. They are easier to understand and easier to prove correct than imperative programs.

This book provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to p of programming into practice. The examples and exercises teach the student how to apply basic theoretical concepts to produce succinct and elegant programs and program designs.

Read and Download Links:

Programming in Standard ML ’97: A Tutorial Introduction