Transcription of Programming in Standard ML
{{id}} {{{paragraph}}}
Programming in Standard ML(DRAFT: )Robert HarperCarnegie Mellon UniversitySpring Semester, 2011 Copyrightc 2011 by Robert Rights work is licensed under the Creative CommonsAttribution-Noncommercial-No Derivative Works United StatesLicense. To view a copy of this license, , or send aletter to Creative Commons, 171 Second Street, Suite 300, San Francisco,California, 94105, book is an introduction to Programming with the Standard ML pro-gramming language. It began life as a set of lecture notes for ComputerScience 15 212: Principles of Programming , the second semester of the in-troductory sequence in the undergraduate computer science curriculum atCarnegie Mellon University.
Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type system. It supports polymorphic type inference, which all but eliminates the burden of specifying types of vari-ables and greatly facilitates code re-use.
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}