Programming in Standard ML

Programming in Standard ML







Author :Robert Harper




Description :

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. It is intended to supersede my Introduction to Standard ML, which
has been widely circulated over the last ten years.
Standard ML is a formally defined programming language. The Definition
of Standard ML (Revised) is the formal definition of the language. It
is supplemented by the Standard ML Basis Library, which defines a common
basis of types that are shared by all implementations of the language.
Commentary on Standard ML discusses some of the decisions that went into
the design of the first version of the language.








LINK :
mediafire.com