The definition of Extended ML

This document formally defines the syntax and semantics of the Extended~ML language. It is based directly on the published semantics of Standard~ML in an attempt to ensure compatibility between the two languages.