SML# Document

I. Overview

Contents

• Ch.1 Preface
• Ch.2 How to read this document
• Ch.3 The structure and status of this document
• Ch.4 Overview of SML#
• Ch.5 SML# License

II. Tutorials

Contents

• Ch.6 Setting up SML# programming environment
• Ch.7 Introduction to ML programming
• Ch.8 SML# feature: record polymorphism
• Ch.9 SML# feature：other type system extensions
• Ch.10 SML# feature: direct interface to C
• Ch.11 SML# feature: seamless SQL integration
• Ch.12 Separate compilation in SML#

III. Reference manual

Contents

• Ch.13 Lexical structure
• Ch.14 
• Ch.15 The set of types
• Ch.16 
• Ch.17 
• Ch.18 
• Ch.19 The Basis Library
• Ch.20 SML# Command
• Ch.21 SML# Run-time Data Format
• Ch.22 Appendix 1 The Summary of SML# Extensions
• Ch.23 Appendix 2 Glossary
• Ch.24 Appendix 3 SML# Reference Card

IV. Programming Tools

Contents

• Ch.25 Parser generator smlacc and smllex

V. SML# Internals and Data Structures

VI. Bibliography and other documents