Loading...
Please wait, while we are loading the content...
Similar Documents
Programming in standard ml (working draft of june 25, 2004.).
| Content Provider | CiteSeerX |
|---|---|
| Author | Harper, Robert |
| Abstract | 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 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Carnegie Mellon University Undergraduate Computer Science Curriculum Standard Ml Lecture Note Working Draft June Last Ten Year Second Semester Standard Ml Basis Library Standard Ml Programming Language Computer Science Introductory Sequence Formal Definition Programming Language Carnegie Mellon Many Course |
| Content Type | Text |
