Transcription of Programming in Standard ML
{{id}} {{{paragraph}}}
Example: bachelor of science
Programming in Standard ML
Programming in Standard ML. (D RAFT: V ERSION OF ). Robert Harper Carnegie Mellon University Spring Semester, 2011. Copyright 2011. c by Robert Harper. All Rights Reserved. This work is licensed under the Creative Commons Attribution-Noncommercial-No Derivative Works United States License. To view a copy of this license, visit , or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA. Preface This book is an introduction to Programming with the Standard ML pro- gramming language. It began life as a set of lecture notes for Computer Science 15 212: Principles of Programming , the second semester of the in- troductory 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 Defi-nition of Standard ML (Revised) is the formal definition of the language. ... of large programs from compiled parts. Nearly every compiler generates native machine code, even when used interactively, but some also gen-erate code for a portable abstract machine. Most ...
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: