The definition of Extended ML
Stefan Kahrs, Don Sannella, Andrzej Tarlecki · Kent Academic Repository (University of Kent) · 1994
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.