The History of Standard ML
This PDF covers the following topics related to Standard ML : Why Is Standard ML important?, Background, An Overview of the History of Standard ML, The SML Type System, Modules, The Definition of Standard ML, Type Theory and New Definitions of Standard ML, The SML Basis Library, Conclusion.
Author(s): David Macqueen, University of Chicago, Usa, Robert Harper, Carnegie Mellon University, Usa, John Reppy, University of Chicago, Usa
100 Pages 
This PDF covers the following topics related to Standard ML : Why Is Standard ML important?, Background, An Overview of the History of Standard ML, The SML Type System, Modules, The Definition of Standard ML, Type Theory and New Definitions of Standard ML, The SML Basis Library, Conclusion.
Author(s): David Macqueen, University of Chicago, Usa, Robert Harper, Carnegie Mellon University, Usa, John Reppy, University of Chicago, Usa
100 Pages
These notes are an introduction to the Standard ML programming language. Topics covered includes: Interacting with ML, Polymorphism and Overloading, Exceptions, Basic expressions, values, and types, Identfiers, bindings, and declarations, Modules System, Input and Output.
Author(s): Robert Harper
106 Pages
