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: 18,990
Type: Book
Publisher: n/a
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Post time: 06 Nov 2006 06:13:43
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: 18,990
Document Type: Book
Publisher: n/a
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Post time: 06 Nov 2006 06:13:43
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.
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.
Tweet
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 "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.