Introduction to Standard ML
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 
Functional Programming with ML
This note covers the following topics: Backus’ FP Systems, Mathematical Functions and First Steps in ML, Basic Datatypes and Lists in ML, Evaluation of Expressions and Recursive Functions, Local Declarations and Modules, Polymorphic Type Checking, Datatype Exception and Recursive Datatypes, Reasoning about Functional Programs, Domain Theory and Fixpoint Semantics, Imperative Programming.
Author(s): NA
208 Pages
Programming in Standard ML (PDF 297P)
This book is an introduction to programming with the Standard ML programming language.
Author(s): Robert Harper
297 Pages
