Programming in Standard ML

Programming in Standard ML

This book is an introduction to programming with the Standard ML, a formally defined programming language.

Publication date: 02 Nov 2011

ISBN-10: n/a

ISBN-13: n/a

Paperback: 297 pages

Views: 14,232

Type: Book

Publisher: n/a

License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States

Post time: 06 Nov 2006 05:13:43

Programming in Standard ML

Programming in Standard ML This book is an introduction to programming with the Standard ML, a formally defined programming language.
Tag(s): Functional Programming
Publication date: 02 Nov 2011
ISBN-10: n/a
ISBN-13: n/a
Paperback: 297 pages
Views: 14,232
Document Type: Book
Publisher: n/a
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Post time: 06 Nov 2006 05:13:43
Summary/Excerpts of (and not a substitute for) the Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States:
You are free to:

Share — copy and redistribute the material in any medium or format

The licensor cannot revoke these freedoms as long as you follow the license terms.

Click here to read the full license.
From the Preface:
Robert Harper wrote: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.




About The Author(s)


Robert "Bob" William Harper, Jr. is a professor in the Computer Science Department at the Carnegie Mellon University. His research interest is mathematical principles of programming. He made major contributions to the design of the Standard ML programming language and the LF logical framework.

Robert Harper

Robert "Bob" William Harper, Jr. is a professor in the Computer Science Department at the Carnegie Mellon University. His research interest is mathematical principles of programming. He made major contributions to the design of the Standard ML programming language and the LF logical framework.


Book Categories
Sponsors
Icons8, a free icon pack