SML# Document

Chapter 1. Preface

This is the official document of SML#, a programming language being developed at Research Institute of Electrical Communication, Tohoku University. This document intends to provide comprehensive information on SML#, including: tutorials on SML# programming, reference manuals of the SML# language and the basis library, and, detailed descriptions of the internals and data structures of the SML# system.

Send comments and questions to the authors.

June, 2017
Atsushi Ohori    Katsuhiro Ueno
RIEC, Tohoku University