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 
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
Notes on Programming Standard ML of New Jersey
The goal of this tutorial is to end up with a complete user guide to the system, inclduing the libraries, the tools and the extensions, as well as a tutorial on how to write “real” applications, centered around the use of the module system and the compilation manager.
Author(s): Riccardo Pucella
249 Pages
