The definition for Standard ML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. It's an indispensable reference for students, professional programmers, etc.

This book is an introduction to programming with the Standard ML programming language. The emphasis of this book is on informal derivation of examples that show both correct and incorrect approaches.

This book uses the Standard ML programming language as a vehicle to study functional programming. Learn about type deduction, pattern matching, currying, partial application, composition of functions, and why variables and loops really aren't needed!

It is an introduction to thinking about programming and the ML Programming Language. It introces those new to programming, as well as those experienced in other programming languages, to the principles of types, computation, and program construction.

This book provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to p of programming into practice.

This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. All source code is given in Standard ML and Haskell.

This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.