SML# Document Version 3.7.1
I Overview

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