Books [Robert Harper] Programming in Standard ML

[tttx]

​

DESCRIPTION:

Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers.

This book is an introduction to programming with the Standard ML programming language. It began life as a set of lecture notes for Computer Science 15-212: Principles of Programming, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. It has subsequently been used in many other courses at Carnegie Mellon, and at a number of universities around the world.

The emphasis of this book is on informal derivation of examples that show both correct and incorrect approaches. It shows functional language as a practical tool for software design and contains real life examples to allow for large scale software engineering issues.

INFORMATION PAGE:

Авторизуйтесь, чтобы посмотреть скрытый контент

DOWNLOAD:

Авторизуйтесь, чтобы посмотреть скрытый контент