|
All Rights Reserved. ... This version of the notes is obsolete! The current version is available here. ... They began as lecture notes for 15-212: Fundamental Principles of Computer Science II, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University.
|
www.cs.cmu.edu/~rwh/introsml/
www.cs.cmu.edu/~rwh/introsml/
|
|
|
|
Programming in Standard ML ... Overview of Standard ML ... Variables and Declarations...
|
www.cs.cmu.edu/~rwh/introsml/contents.htm
www.cs.cmu.edu/~rwh/introsml/contents.htm
|
|
|
Several textbooks on SML programming are available. We recommend the first two in this list. ML for the Working Programmer assumes a little more programming experience than Elements of ML Programming, however either one ought to be adequate for learning the language. ... Programming in Standard ML '97: An On-line Tutorial...
|
www.smlnj.org/doc/literature.html
www.smlnj.org/doc/literature.html
|
|
1.1 Contributors to the SML mode ... Apart from the on-line info tree (C-h i is the Emacs key to enter the info system—you should follow the brief tutorial if this is unfamiliar), there are further details on specific commands in their documentation strings.
|
www.smlnj.org/doc/Emacs/sml-mode.html
www.smlnj.org/doc/Emacs/sml-mode.html
|
|
An on-line tutorial by Stephen Gilmore. ... Programming in Standard ML '97: An On-line Tutorial ... This tutorial introduces important concepts in the language, illustrating them with brief examples. The examples are suitable for cutting-and-pasting into an on-line session.
|
www.dcs.ed.ac.uk/home/stg/NOTES/
|
|
These textbooks use the 1997 revision of the Standard ML language—sometimes called SML ’97. Other textbooks refer to the 1990 issue of the language standard, and some even pre-date that. Another on-line tutorial on SML ’97 is Harper’s;
|
www.dcs.ed.ac.uk/home/stg/NOTES/notes.pdf
|
|
|
cm.bell-labs.com/cm/cs/what/smlnj/doc/literature.html
cm.bell-labs.com/cm/cs/what/smlnj/doc/literature.html
|
|
• Type “sml” to run the SML/NJ compiler; Installed in /usr/local/bin on Linux machines. • Cntl-d exits the compiler, Cntl-c interrupts execution. • Three ways to run ML programs: 1. type in code in the interactive read-eval-print loop; ... ML Tutorial 3; Function expressions; The expression “fn var =>
|
www.classes.cs.uchicago.edu/archive/2007/winter/22610-1...
www.classes.cs.uchicago.edu/archive/2007/winter/22610-1/docs/sml-tutorial.pdf
|
|
iv CONTENTS; 4 Input-Output 84; A Answers 88; ... Chapter 1; Introduction; These notes are an introduction to the Standard ML programming language. Here are some of the highlights of Standard ML: ML is a functional programming language. Functions are rst-class data objects: they may be passed ... ML is strongly typed.
|
www-plan.cs.colorado.edu/diwan/class-papers/ML-doc.pdf
|
|
